✦ LIBER ✦

A System of Postulates for Lewis's Calculus S1by Erik Götlind

✍ Scribed by Review by: A. F. Bausch

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Note on Götlind's Axiom System for the

✍ Review by: Nicholas Rescher 📂 Article 📅 1952 🏛 Association for Symbolic Logic 🌐 English ⚖ 330 KB

A Note Concerning the Paradoxes of Stric

✍ Review by: Alonzo Church 📂 Article 📅 1949 🏛 Association for Symbolic Logic 🌐 English ⚖ 237 KB

A Simplification of Lewis and Langford's

✍ Edward V. Huntington 📂 Article 📅 1933 🏛 Oxford University Press 🌐 English ⚖ 482 KB

A Note Concerning the Paradoxes of Stric

✍ Sören Halldén 📂 Article 📅 1948 🏛 Association for Symbolic Logic 🌐 English ⚖ 151 KB

Decision Procedures for Lewis System S1

✍ Review by: R. A. Bull 📂 Article 📅 1972 🏛 Association for Symbolic Logic 🌐 English ⚖ 166 KB

Coquand's calculus of constructions: A m

✍ Jonathan P. Seldin 📂 Article 📅 1992 🏛 Springer 🌐 English ⚖ 906 KB