✦ LIBER ✦

An extended propositional logic for incomplete knowledge

✍ Scribed by M. Giaquinta; G. Modica; J. Souček

Book ID: 107392694
Publisher: Springer-Verlag
Year: 2011
Tongue: German
Weight: 188 KB
Volume: 57
Category: Article
ISSN: 0430-3202
DOI: 10.1007/s11565-011-0123-7

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Belief closure: A semantics of common kn

Belief closure: A semantics of common knowledge for modal propositional logic

✍ L. Lismont; P. Mongin 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 58 KB

An Algorithm for Inferring Multivalued D

An Algorithm for Inferring Multivalued Dependencies with an Application to Propositional Logic

✍ Sagiv, Yehoshua 📂 Article 📅 1980 🏛 Association for Computing Machinery 🌐 English ⚖ 871 KB

Elementary Propositions and Essentially

Elementary Propositions and Essentially Incomplete Knowledge: A Framework for the Interpretation of Quantum Mechanics

✍ William Demopoulos 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 173 KB

An extended Gentzen-type formulation of

An extended Gentzen-type formulation of a many-valued modal propositional logic based on Zadeh's similarity relation

✍ Osamu Morikawa 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 427 KB

The main purpose of this paper is to present an extended Gentzen-type formulation of a many-valued modal propositional logic based on Zadeh's similarity relation.

An O(nlog n)-SPACE Decision Procedure fo

An O(nlog n)-SPACE Decision Procedure for the Propositional Dummett Logic

✍ Guido Fiorino 📂 Article 📅 2001 🏛 Springer Netherlands 🌐 English ⚖ 154 KB

An efficient procedure for theorem provi

An efficient procedure for theorem proving in propositional logic on vector computers

✍ Wen-Tsuen Chen; Ming-Yi Fang 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 662 KB