Results 131 to 140 of about 1,307,657 (201)
Some of the next articles are maybe not open access.
2009
AbstractSemantics is the discipline that studies linguistic meaning generally, and the qualification ‘formal’ indicates something about the sorts of techniques used in investigating linguistic meaning. More specifically, formal semantics is the discipline that employs techniques from symbolic logic, mathematics, and mathematical logic to produce ...
openaire +2 more sources
AbstractSemantics is the discipline that studies linguistic meaning generally, and the qualification ‘formal’ indicates something about the sorts of techniques used in investigating linguistic meaning. More specifically, formal semantics is the discipline that employs techniques from symbolic logic, mathematics, and mathematical logic to produce ...
openaire +2 more sources
2005
AbstractThis chapter shows that the treatment of names as having nondescriptive, indefinable senses does not preclude a powerful formal semantics; that the referential properties of names can be treated formally without identifying the meaning of a name with its reference; and that names can be handled within an ideational semantics, or by situation ...
openaire +1 more source
AbstractThis chapter shows that the treatment of names as having nondescriptive, indefinable senses does not preclude a powerful formal semantics; that the referential properties of names can be treated formally without identifying the meaning of a name with its reference; and that names can be handled within an ideational semantics, or by situation ...
openaire +1 more source
Synthese, 1963
My purpose in this paper is to present an account of certain of the principal results that have been obtained in the field of formal semantics. These results will be stated in what from the logician’s point of view is an informal way; that is, in stating them there will be little or no use of a precisely formalized language (though we shall of course ...
openaire +2 more sources
My purpose in this paper is to present an account of certain of the principal results that have been obtained in the field of formal semantics. These results will be stated in what from the logician’s point of view is an informal way; that is, in stating them there will be little or no use of a precisely formalized language (though we shall of course ...
openaire +2 more sources
Formal Foundations of Operational Semantics
Higher-Order and Symbolic Computation, 2003zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Ford, Jonathan, Mason, Ian A.
openaire +2 more sources
2011
The formal analysis of computational processes is by now a well-established field. However, in practical scenarios, the problem of how we can formally verify interactions with humans still remains. In this paper we are concerned with addressing this problem.
Stocker, R. +4 more
openaire +2 more sources
The formal analysis of computational processes is by now a well-established field. However, in practical scenarios, the problem of how we can formally verify interactions with humans still remains. In this paper we are concerned with addressing this problem.
Stocker, R. +4 more
openaire +2 more sources
2002
Acknowledgments. Introduction (Paul Portner and Barbara Partee). 1. The Proper Treatment of Quantification in Ordinary English (Richard Montague). 2. A Unified Analysis of the English Bare Plural (Greg Carlson). 3. Generalized Quantifiers and Natural Language (Jon Barwise and Robin Cooper). 4.
openaire +1 more source
Acknowledgments. Introduction (Paul Portner and Barbara Partee). 1. The Proper Treatment of Quantification in Ordinary English (Richard Montague). 2. A Unified Analysis of the English Bare Plural (Greg Carlson). 3. Generalized Quantifiers and Natural Language (Jon Barwise and Robin Cooper). 4.
openaire +1 more source
1993
This book provides a clear and accessible introduction to formal, and especially Montague, semantics within a linguistic framework. It presupposes no previous background in logic, but takes the student step-by-step from simple predicate/argument structures and their interpretation through to Montague's intentional logic. It covers all the major aspects,
openaire +1 more source
This book provides a clear and accessible introduction to formal, and especially Montague, semantics within a linguistic framework. It presupposes no previous background in logic, but takes the student step-by-step from simple predicate/argument structures and their interpretation through to Montague's intentional logic. It covers all the major aspects,
openaire +1 more source
Formal Semantics of Hybrid Chi
2004The verification formalism / modeling and simulation language hybrid Chi is defined. The semantics of hybrid Chi is formally specified using Structured Operational Semantics (SOS) and a number of associated functions. The χ syntax and semantics can also deal with local scoping of variables and/or channels, implicit differential algebraic equations ...
Schiffelers, R.R.H. +4 more
openaire +2 more sources
1983
Abstract Database System (ADS) is a data model developed for an enduring medical information system where frequent changes in the conceptual schema are anticipated and multi-level abstraction is required. The mechanism of abstraction in ADS is based on the abstraction operator of the lamba calculus.
openaire +2 more sources
Abstract Database System (ADS) is a data model developed for an enduring medical information system where frequent changes in the conceptual schema are anticipated and multi-level abstraction is required. The mechanism of abstraction in ADS is based on the abstraction operator of the lamba calculus.
openaire +2 more sources
ON FORMAL AND COGNITIVE SEMANTICS FOR SEMANTIC COMPUTING
International Journal of Semantic Computing, 2010Semantics is the meaning of symbols, notations, concepts, functions, and behaviors, as well as their relations that can be deduced onto a set of predefined entities and/or known concepts. Semantic computing is an emerging computational methodology that models and implements computational structures and behaviors at semantic or knowledge level beyond ...
openaire +1 more source