✦ LIBER ✦

Proof-Theoretic Semantics, Self-Contradiction, and the Format of Deductive Reasoning

✍ Scribed by Peter Schroeder-Heister

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Book Review: The Psychology of Proof: De

✍ DENISE DELLAROSA CUMMINS 📂 Article 📅 1996 🏛 John Wiley and Sons 🌐 English ⚖ 176 KB 👁 2 views

THE EROTETIC THEORY OF REASONING: BRIDGE

✍ Koralus, Philipp; Mascarenhas, Salvador 📂 Article 📅 2013 🏛 Blackwell Publishing 🌐 English ⚖ 345 KB

The Idea of a Proof-Theoretic Semantics

✍ Heinrich Wansing 📂 Article 📅 2000 🏛 Springer Netherlands 🌐 English ⚖ 603 KB

[Lecture Notes in Computer Science] Logi

✍ Lodaya, Kamal 📂 Article 📅 2013 🏛 Springer Berlin Heidelberg ⚖ 195 KB

Theoretical and practical researches on

✍ M.M. Davanne; Girard 📂 Article 📅 1864 🏛 Elsevier Science 🌐 English ⚖ 275 KB

Direct proofs of self- and mutual diffus

✍ S. S. Voyutskii; A. N. Kamenskii; N. M. Fodiman 📂 Article 📅 1969 🏛 Springer US 🌐 English ⚖ 719 KB