Adas and the equational theory of if-then-else

DOI10.1007/BF01190447zbMATH Open0795.08006OpenAlexW1965089427MaRDI QIDQ690107FDOQ690107

Authors M. C. Fu

Publication date 20 December 1993

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01190447

zbMATH Keywords

completenessequational theoryconditionalternary if-then-else operation

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Semantics in the theory of computing (68Q55) Applications of universal algebra in computer science (08A70)

Recommendations

• scientific article; zbMATH DE number 4090769
• On the Axiomatization of “If-Then-Else”
• Equational Bases for If–Then–Else
• Guard modules
• Equality-Test and If-Then-Else Algebras: Axiomatization and Specification

Cites work

• scientific article; zbMATH DE number 3967883 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 3654207 (Why is no real title available?)
• scientific article; zbMATH DE number 3740740 (Why is no real title available?)
• scientific article; zbMATH DE number 3574936 (Why is no real title available?)
• scientific article; zbMATH DE number 3220362 (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?)
• A representation of generalized Boolean rings
• Actions of Boolean rings on sets
• Equational Bases for If–Then–Else
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Generalized ``Boolean theory of universal algebras. II. Identities and subdirect sums of functionally complete algebras
• Guard modules
• On modules over a semiring
• On the Axiomatization of “If-Then-Else”
• Predicate Transformer Semantics
• The Theory of Representation for Boolean Algebras
• The algebra of conditional logic
• Varieties of ”If-Then-Else“
• \(p\)-rings and their boolean-vector representation

Cited in

(17)

• scientific article; zbMATH DE number 2102744 (Why is no real title available?)
• Axiomatization of if-then-else over possibly non-halting programs and tests
• Axiomatisation des tests
• Algebraic properties of if-then-else and commutative three-valued tests
• scientific article; zbMATH DE number 3919811 (Why is no real title available?)
• Guard modules
• scientific article; zbMATH DE number 4090769 (Why is no real title available?)
• On the Axiomatization of “If-Then-Else”
• Barycentric Algebras and Gene Expression
• Equational Bases for If–Then–Else
• Convex sets and barycentric algebras
• Equations for if-then-else
• Semigroups with if-then-else and halting programs
• Monoids with tests and the algebra of possibly non-halting programs
• Equality-Test and If-Then-Else Algebras: Axiomatization and Specification
• On the structure of \(C\)-algebras through atomicity and \texttt{if-then-else}
• Monoids of non-halting programs with tests

This page was built for publication: Adas and the equational theory of if-then-else

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