✦ LIBER ✦

A note on Grzegorczyk's logic

✍ Scribed by Emil Jeřábek

Publisher: John Wiley and Sons
Year: 2004
Tongue: English
Weight: 71 KB
Volume: 50
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.200310094

No coin nor oath required. For personal study only.

✦ Synopsis

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: Grz corresponds (in ZF) to a class of frames, which does not provably coincide with upwards well‐founded posets in ZF alone. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)

📜 SIMILAR VOLUMES

A Note on Pavelka's Fuzzy Logic

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

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

Note on Structural Logics

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

A Note on Gentzen's Decision Procedure f

A Note on Gentzen's Decision Procedure for Intuitionistic Propositional Logic

✍ Kosta Došen 📂 Article 📅 1987 🏛 John Wiley and Sons 🌐 English ⚖ 260 KB 👁 1 views

Note on algebraic models for relevance l

Note on algebraic models for relevance logic

✍ Josep M. Font; Gonzalo Rodríguez 📂 Article 📅 1990 🏛 John Wiley and Sons 🌐 English ⚖ 369 KB 👁 1 views

A Note on the Compactness Theorem in Fir

A Note on the Compactness Theorem in First Order Logic

✍ George Weaver 📂 Article 📅 1980 🏛 John Wiley and Sons 🌐 English ⚖ 223 KB 👁 1 views