Abstract
In this paper the concept of a multi-valued non-deterministic (prepositional) matrix, in which non-deterministic computations of truth values are allowed, is extended to languages with quantifiers. We describe the difficulties involved in applying the two main classical approaches to interpreting quantifiers, the objectual and the substitutional, and solve the difficulties in the case of the latter. Then we turn to the two-valued case, and explore the effects in this context of each of the four standard Gentzen-type rules for the classical quantifiers. As an example, a sound and complete two-valued non-deterministic semantics is provided for a family of first-order proof systems.
Original language | English |
---|---|
Pages (from-to) | 296-301 |
Number of pages | 6 |
Journal | Proceedings of The International Symposium on Multiple-Valued Logic |
State | Published - 2005 |
Externally published | Yes |
Event | 35th International Symposium on Multiple-Valued Logic, ISMVL 2005 - Calgary, Alta., Canada Duration: 19 May 2005 → 21 May 2005 |
ASJC Scopus subject areas
- General Computer Science
- General Mathematics