Non-commutative propositional logic with short-circuit evaluation

DOI10.1080/11663081.2021.2010954MaRDI QIDQ5862001zbMATH OpenOpenAlexFDO

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

Publication date 3 March 2022

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

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

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)

Recommendations

• Non-commutative Łukasiewicz propositional logic
• Dynamic non-commutative logic
• Non‐commutative intuitionistic linear logic
• scientific article; zbMATH DE number 1191247
• Proposition algebra and short-circuit logic
• scientific article; zbMATH DE number 1931656
• Non-commutative first-order EQ-logics
• Non-associative, non-commutative multi-modal linear logic
• On noncommutative extensions of linear logic

Cites work

• 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 3529811 (Why is no real title available?)
• scientific article; zbMATH DE number 3574936 (Why is no real title available?)
• scientific article; zbMATH DE number 1951202 (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?)
• A Couple of Novelties in the Propositional Calculus
• A Set of Independent Axioms for Boolean Algebra
• A propositional logic with 4 values: true, false, divergent and meaningless
• An independent axiomatisation for free short-circuit logic
• Data types over multiple-valued logics
• Evaluation trees for proposition algebra
• Module algebra
• On the axiomatisability of priority
• Planning with regression analysis in transaction logic
• Proposition algebra
• Proposition algebra and short-circuit logic
• Sequential operators in computability logic
• The algebra of conditional logic

Cited in

(3)

• Proposition algebra and short-circuit logic
• An independent axiomatisation for free short-circuit logic
• Non-commutative Łukasiewicz propositional logic

Describes a project that uses

Uses Software

• Prover9
• Mace4

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

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