A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
Filters
A Higher-Order, Fine-Grained Intensional Logic
[chapter]
Foundations of Intensional Semantics
Preserved Fulltext
Fine Grained Intensional Logic (FIL): A Conservative Revision of Montague Semantics • FIL is a higher-order logic with fine-grained intensionality. • Intensionality is basic rather than derived through ...
serve as logical translations of words in a natural language whose semantic structure is being represented. ...
of intension entails identity of extension, but that the converse does not hold. • Given the semantics that we have specified for FIL, its proof procedure is sound. • The distinction between provably ...
doi:10.1002/9780470773543.ch4
fatcat:bali463oungx7g2nnfz4tdjfta
Property Theory with Curry Typing
[chapter]
Foundations of Intensional Semantics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The rules for intensional identity are essentially those of the λαβη-calculus. • It is necessary to type the intensional identity predicate to avoid semantic paradoxes. • It is represented in the language ...
terms by t∼ =T s
Identity There are two equivalence notions in this theory: intensional identity and extensional equivalence. t = T s states that two terms are intensionally identical in type T . • ...
Conclusions • We have constructed a first-order fine-grained intensional logic with flexible Curry typing, PTCT, for the semantic representation of natural languages. • PTCT contains general typed predicates ...
doi:10.1002/9780470773543.ch5
fatcat:6aqovgb3gjb3rlxo6yxdfyaehy
Intensionality in mathematics: problems and prospects
2021
Synthese
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
This is done by analysing syntactic and semantic aspects of the notions of identity available in Univalent Foundations, in order to clarify the notions of intensionality and extensionality that are relevant ...
For example, in the case of semantics, a detailed analysis is carried out of Homotopy Type Theory (HoTT), which provides a topological semantics for the type theory used in Univalent Foundations, in contrast ...
doi:10.1007/s11229-021-03060-4
fatcat:dy7qsxi5nba7fo23swag2fsjxi
Page 27 of Mathematical Reviews Vol. , Issue 91A
[page]
1991
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Finally, she discusses the implications of some foundational problems in possible worlds semantics. ...
She first takes the reader through the history of intensional logic, beginning with R. Carnap, to the mathematical foundations by J. Hintikka, S. Kanger and S. ...
An approach to the interpretation on intensional contexts
2013
Logical Investigations
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
The paper introduces a non-standard analysis of intensional contexts on the ground of generalized approach to semantics construction. The principles of building such kind semantics are consider. ...
As far as I can see it is an idea on domains and anti-domains that lays in the ground a semantics of intensional contexts. ...
This work is supported by Russian Foundation for Humanities, grant № 11-03-00143. ...
doi:10.21146/2074-1472-2013-19-0-238-245
fatcat:uuray6qacjb3jixnmosd5bmxfu
Page 4710 of Mathematical Reviews Vol. , Issue 87i
[page]
1987
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Ruzha [Imre Ruzsa], Intensional logic without intensional variables (pp. 220-245); E. D. Smirnova, An approach to the semantics of first-order intensional logic (pp. 245- 248); E. ...
Popov, Se- mantic and syntactic analysis of the negation-implication fragment
MATHEMATICAL LOGIC AND FOUNDATIONS
4710
of the system RM (pp. 192-198); V. ...
Semantic Value
[chapter]
2006
Encyclopedia of Language & Linguistics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
Semantic values are entities assigned to expressions by ...
Second, the Fregean use of truth as the foundational semantic value is expanded to a notion of indexed truth suitable for intensional and context-sensitive languages. ...
Context-sensitive semantic theories thus extend the Fregean framework further in the direction begun by intensional semantics, by extending the indexing of truth at the foundation of the type hierarchy ...
doi:10.1016/b0-08-044854-2/04469-2
fatcat:wsff25xgdjgjfoktvh2s3a44gu
Meinongian Semantics and Artificial Intelligence
2013
Humana.Mente: Journal of Philosophical Studies
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
In particular, propositional semantic networks (exemplified by SNePS) are discussed; it is argued that only a fully intensional, Meinongian semantics is appropriate for them; and several Meinongian systems ...
This essay describes computational semantic networks for a philosophical audience and surveys several approaches to semantic-network semantics. ...
The essay has benefited from discussions with Shapiro, Castañeda, and members of the SNePS Research Group. ...
doaj:0394f3e6a8d44f53b514ffa280060be5
fatcat:orged3zyhnbe3fpvf6euvxwwye
Semantics and truth relative to a world
2007
Synthese
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
aspect of semantic theory. ...
Empirical work in semantics is done not only against a background of the metatheory of formal languages, but also of philosophical ideas about content. ...
This may help to explain one of the more puzzling features of semantic theory, and its relation to the foundational study of content. Many approaches to semantics seem to have two tiers. ...
doi:10.1007/s11229-007-9285-3
fatcat:gatajzcpfffivhvb2xfots63pq
THE AUTOMATED TRANSLATION OF NATURAL LANGUAGE SENTENCES INTO INTENSIONAL LOGIC AT THE TYPE ANALYSIS AND CONSTRUCTION SYNTHESIS LEVELS
2020
Acta Electrotechnica et Informatica
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
This paper describes the theoretical design and implementation of the semantic machine of transparent intensional logic. ...
Transparent intensional logic is used for the logical-semantic analysis of natural language, which is performed in three steps -type analysis, creation of construction, and type control (last step is optional ...
INTRODUCTION Czech logician Pavel Tichý created foundations of transparent intensional logic (TIL) in 1961 [1] . ...
doi:10.15546/aeei-2019-0023
fatcat:ck5ka5e4zvgvbdadqpdzjzxnay
Page 5632 of Mathematical Reviews Vol. , Issue 88k
[page]
1988
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
The author introduces a semantic system of tensed intensional logic with factual value gaps. ...
Maksimova (Novosibirsk)
88k:03036 03B45
Ruzsa, Imre (H-EOTVO)
Intensional logic and semantic value gaps.
Logique et Anal. (N.S.) 29 (1986), no. 114, 187-203. ...
Book review of Yoad Winter's Elements of formal semantics (2016)
2016
Glossa
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
semantics for intensional expressions (Chapter 6). ...
the modern, lambda-calculus introduction to intensional semantics in von Fintel and Heim's (2011) Intensional semantics lecture notes. ...
Art. 42, page 3 of 3
Abbreviations efs = Elements of formal semantics, by Yoad Winter; sgg = Semantics in generative grammar, by Irene Heim and Angelika Kratzer
Competing interests The author declares ...
doi:10.5334/gjgl.231
fatcat:na47vsz2qvgqfgviwtfnpf7gym
Page 5987 of Mathematical Reviews Vol. , Issue 94j
[page]
1994
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Summary: “We present a category-theoretic framework for pro- viding intensional semantics of programming languages and estab- lishing connections between semantics given at different levels of intensional ...
We define an intensional semantics in Alg for the simply typed /-calculus, and relate it to the standard extensional semantics in Cont.” ...
Foundations and applications of montague grammar; part 1: philosophy, framework, computer science
1988
Journal of Computational and Applied Mathematics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
semantics of programming languages. ...
It is observed that the assignment statements exhibit the same phenomena as intensional operators in natural languages and that the traditional ways of treating the semantics of programming languages, ...
doi:10.1016/0377-0427(88)90308-1
fatcat:glcupwiy5ncopkarhnl2qflj7a
A Calculus of Coroutines
[chapter]
2004
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Game semantics is a way of characterizing programming languages and logical calculi intensionally by interpreting proofs or programs as strategies for interacting with the environment; this process of ...
A possible basis for connecting the intensional world of games with the extensional world of domains was the remarkable observation of Cartwright and Felleisen [8] that intensional properties can become ...
semantic setting, and the investigation of connections between these extensional models and intensional, game-like models (game semantics, sequential algorithms etc.). ...
doi:10.1007/978-3-540-27836-8_74
fatcat:hrcyftg22bcc3mw52qs3vbyr5y
« Previous
Showing results 1 — 15 out of 5,187 results