On extensions of basic propositional logic

DOI10.1142/9789814678001_0011MaRDI QIDQ2989971zbMATH OpenOpenAlexFDO

Authors Minghui Ma, Katsuhiko Sano

Publication date 9 June 2017

Published in Proceedings of the 13th Asian Logic Conference (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/9789814678001_0011

zbMATH Keywords

embeddingbasic propositional logicpost-completenesssuperbasic logicstwo constant property

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Classical propositional logic (03B05) Modal logic (including the logic of norms) (03B45) Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• Alternative semantics for Visser's propositional logics
• A unification of the basic logics of Sambin and Visser
• scientific article; zbMATH DE number 2072512
• An infinity of super-Belnap logics
• Remarks on natural minimal logics: A. Visser's basic and formal logics and their modal counterparts

Cited in

(11)

• Constructive embedding from extensions of logics of strict implication into modal logics
• Adding the everywhere operator to propositional logic
• scientific article; zbMATH DE number 1418442 (Why is no real title available?)
• A logic for extensional protocols
• Algebraic semantics for propositional superposition logic
• Remarks on natural minimal logics: A. Visser's basic and formal logics and their modal counterparts
• scientific article; zbMATH DE number 2072512 (Why is no real title available?)
• scientific article; zbMATH DE number 4134011 (Why is no real title available?)
• Basic propositional logic and the weak excluded middle
• A unification of the basic logics of Sambin and Visser
• Alternative semantics for Visser's propositional logics

This page was built for publication: On extensions of basic propositional logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2989971)