✦ LIBER ✦

Categorical proof theory of classical propositional calculus

✍ Scribed by Gianluigi Bellin; Martin Hyland; Edmund Robinson; Christian Urban

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Quantum theory as a theory in a classica

✍ Othman Qasim Malhas 📂 Article 📅 1992 🏛 Springer 🌐 English ⚖ 790 KB

A proof of completeness of the two-value

✍ W. Sadowski 📂 Article 📅 1961 🏛 Springer Netherlands 🌐 English ⚖ 36 KB

The Finite Model Property and Subsystems

✍ Ronald Harrop 📂 Article 📅 1959 🏛 John Wiley and Sons 🌐 English ⚖ 276 KB

Proof-finding Algorithms for Classical a

✍ Bunder, M. W.; Rizkalla, R. M. 📂 Article 📅 2009 🏛 University of Notre Dame 🌐 English ⚖ 193 KB

A proof of axiomatizability of łukasiewi

✍ T. Prucnal 📂 Article 📅 1967 🏛 Springer Netherlands 🌐 English ⚖ 23 KB

On the interpretations of Aristotelian c

✍ Stanisław Jaśkowski 📂 Article 📅 1969 🏛 Springer Netherlands 🌐 English ⚖ 584 KB