✦ LIBER ✦

Probabilistic Semantics for First-Order Logic

✍ Scribed by Hugues Leblanc

Publisher: John Wiley and Sons
Year: 1979
Tongue: English
Weight: 925 KB
Volume: 25
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.19790253202

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Fuzzy unification and first order probab

Fuzzy unification and first order probabilistic logic

✍ Marco Piastra 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 123 KB

The notion of unification for fuzzy sets in fuzzy logic programming is explored in this article from the standpoint of a theoretical framework based on first-order probabilistic modal logic. The fundamental difference between the latter perspective and other approaches described in the literature li

A new semantics for first-order logic, m

A new semantics for first-order logic, multivalent and mostly intensional

✍ Hugues Leblanc 📂 Article 📅 1984 🏛 Springer Netherlands 🌐 English ⚖ 643 KB

Cited by many as distinctive of first-order logic are the bivalence of its statements and the extensionality of its operators, among them the three operators '~', '&', and 'V'. It is to that bivalence and that extensionality, we are told, that the logical entailments and, hence, logical truths pecul

First–order Semantics for Higher–order P

First–order Semantics for Higher–order Processes

✍ Michael Baldamus 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 210 KB

Concerning the semantic consequence rela

Concerning the semantic consequence relation in first-order temporal logic

✍ Andrzej Szalas 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 332 KB

A declarative semantics for depth-first

A declarative semantics for depth-first logic programs

✍ Birgit Elbl 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 438 KB

Depth-®rst evaluation causes a gap between the result of the computation and the classical declarative semantics for logic programs. The paper presents a new semantics for logic programs closing that gap. Although not classical, this semantics, called biquantale semantics, is declarative, since it i

A secondary semantics for Second Order I

A secondary semantics for Second Order Intuitionistic Propositional Logic

✍ Mauro Ferrari; Camillo Fiorentini; Guido Fiorino 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 159 KB

## Abstract In this paper we propose a Kripke‐style semantics for second order intuitionistic propositional logic and we provide a semantical proof of the disjunction and the explicit definability property. Moreover, we provide a tableau calculus which is sound and complete with respect to such a s