✦ LIBER ✦

On disjunction in intuitionist logic

✍ Scribed by Vaidyanathaswamy, R.

Book ID: 112981240
Publisher: Springer-Verlag
Year: 1943
Tongue: English
Weight: 257 KB
Volume: 17
Category: Article
ISSN: 0370-0089
DOI: 10.1007/bf03053038

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The complexity of the disjunction and ex

The complexity of the disjunction and existential properties in intuitionistic logic

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

Embedding Classical Logic in Intuitionis

Embedding Classical Logic in Intuitionistic Logic

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

On an Intuitionistic Modal Logic

✍ G. M. Bierman; V. C. V. de Paiva 📂 Article 📅 2000 🏛 Springer Netherlands 🌐 English ⚖ 363 KB

Remark on the intuitionistic fuzzy logic

Remark on the intuitionistic fuzzy logics

✍ Krassimir T. Atanassov 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 117 KB

Intuitionistic logical connectives on li

Intuitionistic logical connectives on linear structures

✍ A. D. Yashin 📂 Article 📅 1984 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 580 KB

A note on dual-intuitionistic logic

✍ Norihiro Kamide 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 91 KB 👁 1 views

## Abstract Dual‐intuitionistic logics are logics proposed by Czermak (1977), Goodman (1981) and Urbas (1996). It is shown in this paper that there is a correspondence between Goodman's dual‐intuitionistic logic and Nelson's constructive logic N^−^.