✦ LIBER ✦

A note on the logic of signed equations

✍ Scribed by Stephen L. Bloom

Publisher: Springer Netherlands
Year: 1982
Tongue: English
Weight: 412 KB
Volume: 41
Category: Article
ISSN: 0039-3215
DOI: 10.1007/bf00373494

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A note on the logic of design

✍ William Fawcett 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 407 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 the tense logic of dominoes

✍ Yde Venema 📂 Article 📅 1992 🏛 Springer Netherlands 🌐 English ⚖ 427 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 Pavelka's Fuzzy Logic

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

A note on the axiomatisation of brouwers

A note on the axiomatisation of brouwersche modal logic

✍ R. E. Jennings 📂 Article 📅 1981 🏛 Springer Netherlands 🌐 English ⚖ 118 KB