𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A note on imperative logic

✍ Scribed by Hector Neri Castaneda

Publisher
Springer Netherlands
Year
1955
Tongue
English
Weight
280 KB
Volume
6
Category
Article
ISSN
0031-8116

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

Notes On Logic
Notes On Logic
✍ Wittgenstein 📂 Fiction 📅 0 🌐 English ⚖ 340 KB
A note on dual-intuitionistic logic
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^−^.