Proposition Algebra and Short-Circuit Logic

DOI10.1007/978-3-642-29320-7_2zbMath1354.03035OpenAlexW2147141282MaRDI QIDQ2894547

Alban Ponse, Jan A. Bergstra

Publication date: 29 June 2012

Published in: Fundamentals of Software Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-29320-7_2

zbMATH Keywords

side effectconditional compositionshort-circuit evaluationreactive valuationsequential connective

Mathematics Subject Classification ID

Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65) Other algebras related to logic (03G25) Classical propositional logic (03B05)

Related Items (3)

Evaluation Trees for Proposition Algebra ⋮ An independent axiomatisation for free short-circuit logic ⋮ Non-commutative propositional logic with short-circuit evaluation

This page was built for publication: Proposition Algebra and Short-Circuit Logic