✦ LIBER ✦

A Modal Logic Analog of Smullyan's Fundamental Theorem

✍ Scribed by Melvin Fitting

Publisher: John Wiley and Sons
Year: 1973
Tongue: English
Weight: 953 KB
Volume: 19
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.19730190102

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

THE FUNDAMENTAL THEOREM OF ULTRAPRODUCT

THE FUNDAMENTAL THEOREM OF ULTRAPRODUCT IN PAVELKA'S LOGIC

✍ Mingsheng Ying 📂 Article 📅 1992 🏛 John Wiley and Sons 🌐 English ⚖ 242 KB

## Abstract In [This Zeitschrift 25 (1979), 45‐52, 119‐134, 447‐464], Pavelka systematically discussed propositional calculi with values in enriched residuated lattices and developed a general framework for approximate reasoning. In the first part of this paper we introduce the concept of generaliz

Extensions of Makinson's Completeness Th

Extensions of Makinson's Completeness Theorems in Modal Logic

✍ R. Routley 📂 Article 📅 1970 🏛 John Wiley and Sons 🌐 English ⚖ 890 KB

On a Certain System of Modal Logic

✍ Akira Nakamura 📂 Article 📅 1965 🏛 John Wiley and Sons 🌐 English ⚖ 205 KB 👁 1 views

On A Theorem Equivalent to Post's Fundam

On A Theorem Equivalent to Post's Fundamental Theorem of Recursive Function Theory

✍ Albert A. Mullin 📂 Article 📅 1963 🏛 John Wiley and Sons 🌐 English ⚖ 177 KB 👁 1 views

A Constructive Proof of a Theorem in Rel

A Constructive Proof of a Theorem in Relevance Logic

✍ Aleksandar Kron 📂 Article 📅 1985 🏛 John Wiley and Sons 🌐 English ⚖ 461 KB 👁 1 views

In this paper we investigate a propositional systeni L related t o T,-W of relevance logic. It has been conjectured that for any formulas A and B

An inductive proof of a fundamental maxi

An inductive proof of a fundamental maximin theorem

✍ D.J White 📂 Article 📅 1975 🏛 Elsevier Science 🌐 English ⚖ 179 KB