✦ LIBER ✦

Theory of Formal Systemsby Raymond M. Smullyan

✍ Scribed by Review by: Marian Boykan Pour-El

Book ID: 124963363
Publisher: Association for Symbolic Logic
Year: 1965
Tongue: English
Weight: 437 KB
Volume: 30
Category: Article
ISSN: 0022-4812
DOI: 10.2307/2270586

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Elementary Formal Systemsby Raymond M. S

Elementary Formal Systemsby Raymond M. Smullyan

✍ Review by: Ann S. Ferebee 📂 Article 📅 1969 🏛 Association for Symbolic Logic 🌐 English ⚖ 208 KB

Extended Canonical Systemsby Raymond M.

Extended Canonical Systemsby Raymond M. Smullyan

✍ Review by: James H. Bennett 📂 Article 📅 1968 🏛 Association for Symbolic Logic 🌐 English ⚖ 201 KB

On Post's Canonical Systemsby Raymond M.

On Post's Canonical Systemsby Raymond M. Smullyan

✍ Review by: Ann Yasuhara 📂 Article 📅 1969 🏛 Association for Symbolic Logic 🌐 English ⚖ 201 KB

A Generalization of Intuitionistic and M

A Generalization of Intuitionistic and Modal Logics.by Raymond M. Smullyan

✍ Review by: Melvin Fitting 📂 Article 📅 1977 🏛 Association for Symbolic Logic 🌐 English ⚖ 107 KB

Theory of formal systems: by Raymond M.

Theory of formal systems: by Raymond M. Smullyan. 126 pages, diagrams, 7 × 10 in. Princeton, Princeton University Press, 1961. Price, $3.00 (paper)

📂 Article 📅 1961 🏛 Elsevier Science 🌐 English ⚖ 82 KB

Monadic Elementary Formal Systems

✍ Raymond M. Smullyan 📂 Article 📅 1961 🏛 John Wiley and Sons 🌐 English ⚖ 187 KB

The reason for this proviso is that in the intended interpretation, the symbol Lr+'r stands for material implication with association to the right. Thus, e.g., Fl 4 F2 --Fa is to be read "F, implies that F2 implies Fi'