Conditional logic as a short-circuit logic

DOI10.47743/SACS.2025.2.161MaRDI QIDQ6869869zbMATH OpenFDO

Authors J. A. Bergstra, Alban Ponse

Publication date 21 January 2026

Published in Scientific Annals of Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.47743/SACS.2025.2.161

zbMATH Keywords

Bochvar's logicconditional logicleft-sequential connectivesshort-circuit evaluationshort-circuit logic

Mathematics Subject Classification ID

Computer science (68-XX)

Cites work

• A Couple of Novelties in the Propositional Calculus
• A Gentzen system for conditional logic
• A propositional logic with 4 values: true, false, divergent and meaningless
• An independent axiomatisation for free short-circuit logic
• scientific article; zbMATH DE number 3122413 (Why is no real title available?)
• scientific article; zbMATH DE number 3740740 (Why is no real title available?)
• scientific article; zbMATH DE number 3322506 (Why is no real title available?)
• scientific article; zbMATH DE number 3052788 (Why is no real title available?)
• Module algebra
• Non-commutative propositional logic with short-circuit evaluation
• On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus
• Proposition algebra
• The algebra of conditional logic

Cited in

(2)

• Fully evaluated left-sequential logics
• Logical models of mathematical texts. II: legality conventions for division by zero in inconsistent contexts

This page was built for publication: Conditional logic as a short-circuit logic

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