✦ LIBER ✦

The Skolemization of existential quantifiers in intuitionistic logic

✍ Scribed by Matthias Baaz; Rosalie Iemhoff

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The complexity of the disjunction and ex

✍ Sam Buss; Grigori Mints 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 776 KB

A strong completeness theorem in intuiti

✍ Hengshan Gao 📂 Article 📅 2000 🏛 SP Science China Press 🌐 English ⚖ 556 KB

The information in intuitionistic logic

✍ Johan van Benthem 📂 Article 📅 2008 🏛 Springer Netherlands 🌐 English ⚖ 337 KB

Semantics and properties of existential

✍ Sang Ho Lee; Lawrence J. Henschen 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 587 KB

The Logical Background of Arithmeticby T

✍ Review by: H. G. Rice 📂 Article 📅 1958 🏛 Association for Symbolic Logic 🌐 English ⚖ 90 KB

Interpreting Intuitionistic Propositiona

✍ A.D. Yashin 📂 Article 📅 2002 🏛 Springer US 🌐 English ⚖ 206 KB