Self-implications in BCI
Loading...
Date
Authors
Kowalski, Tomasz
Journal Title
Journal ISSN
Volume Title
Publisher
University of Notre Dame Press
Abstract
Humberstone asks whether every theorem of BCI provably implies φ → φ for some formula φ. Meyer conjectures that the axiom B does not imply any such "self-implication." We prove a slightly stronger result, thereby confirming Meyer's conjecture.
Description
Citation
Collections
Source
Notre Dame Journal of Formal Logic
Type
Book Title
Entity type
Access Statement
License Rights
Restricted until
2037-12-31
Downloads
File
Description