Non-commutative propositional logic with short-circuit evaluation

DOI10.1080/11663081.2021.2010954OpenAlexW4200265263MaRDI QIDQ5862001

Daan J. C. Staudt, Alban Ponse, Jan A. Bergstra

Publication date: 3 March 2022

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/11663081.2021.2010954

zbMATH Keywords

side effectconditional compositionshort-circuit evaluationnon-commutative conjunctionsequential connectives

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Uses Software

• Prover9
• Mace4

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Data types over multiple-valued logics
• The algebra of conditional logic
• Sequential operators in computability logic
• Planning with regression analysis in transaction logic
• Proposition Algebra and Short-Circuit Logic
• Proposition algebra
• A Set of Independent Axioms for Boolean Algebra
• Evaluation Trees for Proposition Algebra
• Module algebra
• A Couple of Novelties in the Propositional Calculus
• A propositional logic with 4 values: true, false, divergent and meaningless
• An independent axiomatisation for free short-circuit logic
• On the axiomatisability of priority

This page was built for publication: Non-commutative propositional logic with short-circuit evaluation