𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Note on Logic and Existence

✍ Scribed by Arthur Pap


Book ID
124778763
Publisher
Oxford University Press
Year
1947
Tongue
English
Weight
170 KB
Volume
56
Category
Article
ISSN
0026-4423

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


A Note on Existence
✍ T. R. Miles πŸ“‚ Article πŸ“… 1951 πŸ› Oxford University Press 🌐 English βš– 421 KB
A Note on Logic and Rhetoric
✍ G. Yoos πŸ“‚ Article πŸ“… 1974 πŸ› Informa UK (Taylor & Francis) 🌐 English βš– 122 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

EXISTENCE AND LOGIC
πŸ“‚ Article πŸ“… 1976 πŸ› John Wiley and Sons βš– 266 KB