✦ LIBER ✦

The information in intuitionistic logic

✍ Scribed by Johan van Benthem

Book ID: 106540508
Publisher: Springer Netherlands
Year: 2008
Tongue: English
Weight: 337 KB
Volume: 167
Category: Article
ISSN: 0039-7857
DOI: 10.1007/s11229-008-9408-5

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Logi

[Lecture Notes in Computer Science] Logic, Language, Information and Computation Volume 5110 || On Game Semantics of the Affine and Intuitionistic Logics

✍ Hodges, Wilfrid; de Queiroz, Ruy 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 222 KB

Edited In Collaboration With Folli, The Association Of Logic, Language And Information, This Book Constitutes The 4th Volume Of The Folli Lnai Subline; Containing The Refereed Proceedings Of The 15th International Workshop On Logic, Language, Information And Computation, Wollic 2008, Held In Edinbur

Embedding Classical Logic in Intuitionis

Embedding Classical Logic in Intuitionistic Logic

✍ John Myhill 📂 Article 📅 1973 🏛 John Wiley and Sons 🌐 English ⚖ 183 KB

Unification in Intuitionistic Logic

✍ Silvio Ghilardi 📂 Article 📅 1999 🏛 Association for Symbolic Logic 🌐 English ⚖ 475 KB

Sheffer Functions in Intuitionistic Logi

Sheffer Functions in Intuitionistic Logic

✍ G. Rousseau 📂 Article 📅 1968 🏛 John Wiley and Sons 🌐 English ⚖ 247 KB

Implicational Formulas in Intuitionistic

Implicational Formulas in Intuitionistic Logic

✍ Alasdair Urquhart 📂 Article 📅 1974 🏛 Association for Symbolic Logic 🌐 English ⚖ 178 KB

On disjunction in intuitionist logic

✍ Vaidyanathaswamy, R. 📂 Article 📅 1943 🏛 Springer-Verlag 🌐 English ⚖ 257 KB