Proposition algebra

DOI10.1145/1929954.1929958zbMath1352.03040arXiv0807.3648OpenAlexW3105499720MaRDI QIDQ2946640

Jan A. Bergstra, Alban Ponse

Publication date: 17 September 2015

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

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

zbMATH Keywords

satisfiabilityside effectconditional compositionshort-circuit evaluationreactive valuationsequential connectivepropositional statement

Mathematics Subject Classification ID

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

Related Items (4)

Evaluation Trees for Proposition Algebra ⋮ An independent axiomatisation for free short-circuit logic ⋮ Encoding many-valued logic in $\lambda$-calculus ⋮ Non-commutative propositional logic with short-circuit evaluation

This page was built for publication: Proposition algebra