Equations for if-then-else

DOI10.1007/3-540-55511-0_23zbMath1518.68060OpenAlexW1574066460MaRDI QIDQ6171778

Ernest G. Manes

Publication date: 16 August 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-55511-0_23

Mathematics Subject Classification ID

Theory of programming languages (68N15) Applications of universal algebra in computer science (08A70) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Actions of Boolean rings on sets
• Adas and the equational theory of if-then-else
• The algebra of conditional logic
• On modules over a semiring
• Generalized ``Boolean theory of universal algebras. II. Identities and subdirect sums of functionally complete algebras
• Predicate Transformer Semantics
• Varieties of ”If-Then-Else“
• On the Axiomatization of “If-Then-Else”
• Equational Bases for If–Then–Else
• The Theory of Representation for Boolean Algebras
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Equations for if-then-else