Basic propositional logic and the weak excluded middle

DOI10.1093/JIGPAL/JZY052MaRDI QIDQ5382587zbMATH OpenOpenAlexFDO

Authors M. Alizadeh, Mohammad Ardeshir

Publication date 18 June 2019

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/jzy052

zbMATH Keywords

basic propositional logicKripke modelsVisser algebrasweak excluded middle

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Recommendations

• scientific article; zbMATH DE number 1251243
• Finite problems and the logic of the weak law of excluded middle
• On extensions of basic propositional logic
• The logic of the weak excluded middle: A case study of proof-search
• Propositional logic of supposition and assertion
• The propositional logic induced by means of basic algebras
• scientific article; zbMATH DE number 1852919
• Basic modal logic
• scientific article; zbMATH DE number 1028830

Cited in

(2)

• scientific article; zbMATH DE number 2150332 (Why is no real title available?)
• The algebraic significance of weak excluded middle laws

This page was built for publication: Basic propositional logic and the weak excluded middle

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