𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A note on dual-intuitionistic logic

✍ Scribed by Norihiro Kamide

Publisher
John Wiley and Sons
Year
2003
Tongue
English
Weight
91 KB
Volume
49
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis

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^−^.

📜 SIMILAR VOLUMES

A probabilistic extension of intuitionis
A probabilistic extension of intuitionistic logic
✍ Zoran Marković; Zoran Ognjanović; Miodrag Rašković 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 173 KB

## Abstract We introduce a probabilistic extension of propositional intuitionistic logic. The logic allows making statements such as __P__~≥__s__~α, with the intended meaning “the probability of truthfulness of __α__ is at least __s__”. We describe the corresponding class of models, which are Kripk

A note on Grzegorczyk's logic
A note on Grzegorczyk's logic
✍ Emil Jeřábek 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 71 KB

## Abstract Grzegorczyk's modal logic (Grz) corresponds to the class of upwards well‐founded partially ordered Kripke frames, however all known proofs of this fact utilize some form of the Axiom of Choice; G. Boolos asked in [1], whether it is provable in plain ZF. We answer his question negatively

A Note on Pavelka's Fuzzy Logic
A Note on Pavelka's Fuzzy Logic
✍ Esko Turunen 📂 Article 📅 1991 🏛 John Wiley and Sons 🌐 English ⚖ 108 KB 👁 1 views