Proposition Algebra and Short-Circuit Logic
Authors:
- 1 January 2012
- book chapter
- Published by Springer Nature
- p. 15-31
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Proposition algebraACM Transactions on Computational Logic, 2011
- A propositional logic with 4 values: true, false, divergent and meaninglessJournal of Applied Non-Classical Logics, 1995
- Module algebraJournal of the ACM, 1990
- Equational Bases for If–Then–ElseSIAM Journal on Computing, 1987
- A Couple of Novelties in the Propositional CalculusMathematical Logic Quarterly, 1985
- Varieties of ”If-Then-Else“SIAM Journal on Computing, 1983
- Equational bases of boolean algebrasThe Journal of Symbolic Logic, 1964