Results 271 to 280 of about 10,814 (309)

Logic and Natural Language

Computer, 1983
exaly   +2 more sources

A Compositional Natural Semantics and Hoare Logic for Low-Level Languages

Electronic Notes in Theoretical Computer Science, 2006
The advent of proof-carrying code has generated significant interest in reasoning about low-level languages. It is widely believed that low-level languages with jumps must be difficult to reason about by being inherently non-modular.
Ando Saabas, Tarmo Uustalu
exaly   +2 more sources

A compositional natural semantics and Hoare logic for low-level languages

Theoretical Computer Science, 2007
The advent of proof-carrying code has generated significant interest in reasoning about low-level languages. It is widely believed that low-level languages with jumps must be difficult to reason about because of being inherently non-modular.
Ando Saabas, Tarmo Uustalu
exaly   +2 more sources

Natural Language and Logic of Agency

Journal of Logic, Language and Information, 2014
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +4 more sources

Logical Semantics for Natural Language

Erkenntnis, 1983
It is now a quarter of a century ago that Wolfgang Stegmuller wrote his monograph ‘Das Wahrheitsproblem und die Idee der Semantik’ (1957) which dealt with Tarski’s and Carnap’s foundational work in the field of semantics. While this book is about the definition of the basic semantical concepts in artificial formal languages there is an article written ...
openaire   +1 more source

Logical splicing in natural languages

1999
Studies in Functional and Structural Linguistics, Vol.47.
openaire   +2 more sources

The “New” logics and natural language processing

Computers and the Humanities, 1985
This paper will attempt to outline very briefly a recent approach to logic known as model theory. It will compare the aims and techniques of this approach with more traditional frameworks and then make a few remarks about possible applications of logic in computer systems dealing with natural language. Logic is concerned with distinguishing correct, or
openaire   +1 more source

A single-type logic for natural language

Journal of Logic and Computation, 2013
In this article, we develop a single-type logic for natural language along the lines of Partee (2009, Snippets, vol. 20)). This logic, called `TY30' takes objects of different syntactic categories and model-theoretic domains to be structured by the same logical type. Its language, a variant of the simply typed lambda calculus, is interpreted in partial
openaire   +1 more source

Fuzzy Logic as the Logic of Natural Languages

2007
As we move further into the age of machine intelligence and automated decision-making, a long-standing problem becomes more pressing and more complex. The problem is: How to reason and compute with information described in natural language. The basic importance of this problem derives from the fact that much of human knowledge—and especially world ...
openaire   +1 more source

Fuzzy logic in natural language processing

2017 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), 2017
One of the proclaims often emphasized in papers on fuzzy sets and fuzzy logic is their ability to model semantics of certain linguistic expressions because their inherent vagueness can be captured by fuzzy sets. This direction of research was initiated by L. A.
openaire   +1 more source