Propositional mixed logic: its syntax and semantics
From MaRDI portal
Publication:3643261
DOI10.3166/jancl.13.377-390zbMath1181.03029arXiv0905.0369MaRDI QIDQ3643261
No author found.
Publication date: 11 November 2009
Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/0905.0369
propositional logic; completeness theorem; Kripke semantics; intuitionistic logic; classical logic; minimal logic; mixed logic
03B05: Classical propositional logic
03B20: Subsystems of classical logic (including intuitionistic logic)
03B62: Combined logics
Related Items
Cites Work