Equations for if-then-else

DOI10.1007/3-540-55511-0_23MaRDI QIDQ6171778zbMATH OpenOpenAlexFDO

Authors 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

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

Cites work

• Actions of Boolean rings on sets
• Adas and the equational theory of if-then-else
• Equational Bases for If–Then–Else
• Generalized ``Boolean theory of universal algebras. II. Identities and subdirect sums of functionally complete algebras
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 3322506 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• On modules over a semiring
• On the Axiomatization of “If-Then-Else”
• Predicate Transformer Semantics
• The algebra of conditional logic
• The Theory of Representation for Boolean Algebras
• Varieties of ”If-Then-Else“

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6171778)