✦ LIBER ✦

A note on Mr. Hare's “logic of imperatives”

✍ Scribed by Robert G. Turnbull

Publisher: Springer Netherlands
Year: 1954
Tongue: English
Weight: 220 KB
Volume: 5
Category: Article
ISSN: 0031-8116
DOI: 10.1007/bf02223257

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A note on imperative logic

✍ Hector Neri Castaneda 📂 Article 📅 1955 🏛 Springer Netherlands 🌐 English ⚖ 280 KB

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

✍ Esko Turunen 📂 Article 📅 1991 🏛 John Wiley and Sons 🌐 English ⚖ 108 KB 👁 1 views

A note on the logic of design

✍ William Fawcett 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 407 KB

A note on extensions of infinitary logic

✍ Saharon Shelah; Jouko Väänänen 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 144 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^−^.