A note on Humberstone's constant Ω
A note on Humberstone's constant Ω
Author(s): Satoru Niki, Hitoshi OmoriSubject(s): Logic
Published by: Wydawnictwo Uniwersytetu Jagiellońskiego
Keywords: intuitionistic logic; minimal logic; actuality operator; empirical negation; deduction theorem
Summary/Abstract: We investigate an expansion of positive intuitionistic logic obtained by adding a constant Ω introduced by Lloyd Humberstone. Our main results include a sound and strongly complete axiomatization, some comparisons to other expansions of intuitionistic logic obtained by adding actuality and empirical negation, and an algebraic semantics. We also brie y discuss its connection to classical logic.
Journal: Reports on Mathematical Logic
- Issue Year: 2021
- Issue No: 56
- Page Range: 75-99
- Page Count: 25
- Language: English
