𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Note on Irrelevance in Inductive Logic

✍ Scribed by Jeff B. Paris; Alena Vencovská

Publisher
Springer Netherlands
Year
2010
Tongue
English
Weight
328 KB
Volume
40
Category
Article
ISSN
0022-3611

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A note on imperative logic
A note on imperative logic
✍ Hector Neri Castaneda 📂 Article 📅 1955 🏛 Springer Netherlands 🌐 English ⚖ 280 KB
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