Fully evaluated left-sequential logics

DOI10.1080/11663081.2025.2573569MaRDI QIDQ6850592zbMATH OpenFDO

Authors Alban Ponse, Daan J. C. Staudt

Publication date 2 March 2026

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

Copyright license Creative Commons Attribution 4.0 International

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

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites work

• 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
• Conditional logic as a short-circuit logic
• Evaluation trees for proposition algebra
• scientific article; zbMATH DE number 3322506 (Why is no real title available?)
• scientific article; zbMATH DE number 3052788 (Why is no real title available?)
• 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
• On notation for ordinal numbers.
• Proposition algebra
• The algebra of conditional logic

This page was built for publication: Fully evaluated left-sequential logics

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