An independent axiomatisation for free short-circuit logic

DOI10.1080/11663081.2018.1448637zbMath1436.03178arXiv1707.05718OpenAlexW3104025423WikidataQ129975444 ScholiaQ129975444MaRDI QIDQ5375874

Alban Ponse, Daan J. C. Staudt

Publication date: 17 September 2018

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

Full work available at URL: https://arxiv.org/abs/1707.05718

zbMATH Keywords

logic in computer scienceside effectconditional compositionshort-circuit evaluationnon-commutative conjunctionsequential connectives

Mathematics Subject Classification ID

Logic in computer science (03B70) Classical propositional logic (03B05)

Related Items (1)

Non-commutative propositional logic with short-circuit evaluation

Uses Software

• Prover9
• Mace4

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Proposition Algebra and Short-Circuit Logic
• Proposition 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
• On the axiomatisability of priority

This page was built for publication: An independent axiomatisation for free short-circuit logic