Notes On Logic

Note on Structural Logics

✍ Zbigniew Stachniak 📂 Article 📅 1985 🏛 John Wiley and Sons 🌐 English ⚖ 228 KB

Notes on logic and set theory

📂 Article 📅 1990 🏛 Springer Netherlands 🌐 English ⚖ 58 KB

BOOK REVIEWS one saves precisely for such an occasion as a sudden request to contribute to one or another memorial volume. The four above classifications have non-empty intersections. We are in favour of the idea of a memorial volume, in itself (for sentimental reasons, perhaps), but let the result

Notes on the Logic of Believing

✍ Chisholm, Roderick 📂 Fiction 📅 0 🌐 English ⚖ 762 KB

A note on imperative logic

✍ Hector Neri Castaneda 📂 Article 📅 1955 🏛 Springer Netherlands 🌐 English ⚖ 280 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^−^.

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