ARTICLES

Filter  
Active filters 0
Remove
  

Refine your searches by:

Collections
Education
Social Sciences
Languages
Literature
Economy
Technology
Religion
Research
Philosophy
Pure sciences
all records (72)

Languages
English
Spanish
Portuguese
German
French

Countries
Indonesia
Brazil
USA
Ukraine
South Africa
Cuba
Denmark
Germany
Italy
Spain
all records (75)

Years
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
all records (24)

Filter  
 
32.203  Articles
1 of 3.221 pages  |  10  records  |  more records»
The paper presents a proof-theoretic semantics account of contextual domain restriction for quantified sentences in a fragment of English. First, the technique is exemplified in the more familiar first-order logic, and in its restricted quantification var... see more

All through the literatura, the question about what is a logical constant has recieved many answers, from model-theoretic aproaches (Tarski; 1966), (Sher; 1991), (Bonnay; 2007) to answers that focus in the inferential practice as meaning (Dummett; 1991), ... see more

In this paper I look at a number of apparently trivial validinferences (as well as some invalid and missing inferences) associatedwith the possessive construction and with different types ofadjectival modification of nouns. In the case of possessives, all... see more

In this thesis we give an algebraic characterization of the syntax and semantics of simply–typed languages. More precisely, we characterize simply–typed binding syntax equipped with reduction rules via a universal property, namely as the initial object of... see more

In this thesis we give an algebraic characterization of the syntax and semantics of simply–typed languages. More precisely, we characterize simply–typed binding syntax equipped with reduction rules via a universal property, namely as the initial object of... see more

This is the second of two companion papers on a semantic theory for communicating processes with values based on the late approach. In the first one, [Ing95], we explained the general idea of the late semantic approach. Furthermore weintroduced a general ... see more

Specification frameworks such as B and Z provide power sets and cartesianproducts as built-in type constructors, and employ a rich notation fordefining (among other things) abstract data types using formulae of predicatelogic and lambda-notation. In contr... see more

Proses Berpikir Mahasiswa dalam Menyusun Bukti Matematis dengan Strategi Semantik Abstract: This study is aimed to reveal the thinking process in proof construction performed by students with semantic strategy. This study use descriptive-qualitative ... see more

We investigate the extent to which compositional vector space models can be used to account for scope ambiguity in quantified sentences (of the form Every man loves some woman). Such sentences introduce one reading for each quantifier. We combine a polari... see more

1 of 3.221 pages  |  10  records  |  more records»