Adas and the equational theory of if-then-else

DOI10.1007/BF01190447zbMATH Open0795.08006OpenAlexW1965089427MaRDI QIDQ690107FDOQ690107

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• The Theory of Representation for Boolean Algebras
• On modules over a semiring
• Actions of Boolean rings on sets
• The algebra of conditional logic
• Generalized ``Boolean theory of universal algebras. II. Identities and subdirect sums of functionally complete algebras
• Guard modules
• A representation of generalized Boolean rings
• \(p\)-rings and their boolean-vector representation
• Predicate Transformer Semantics
• Varieties of ”If-Then-Else“
• On the Axiomatization of “If-Then-Else”
• Equational Bases for If–Then–Else

Cited In (10)

• Convex sets and barycentric algebras
• Algebraic properties of if-then-else and commutative three-valued tests
• Equality-Test and If-Then-Else Algebras: Axiomatization and Specification
• Equations for if-then-else
• Monoids of non-halting programs with tests
• Monoids with tests and the algebra of possibly non-halting programs
• Axiomatization of if-then-else over possibly non-halting programs and tests
• SEMIGROUPS WITH if–then–else AND HALTING PROGRAMS
• Barycentric Algebras and Gene Expression
• On the structure of \(C\)-algebras through atomicity and \texttt{if-then-else}

Recommendations

• Guard modules 👍 👎
• On the Axiomatization of “If-Then-Else” 👍 👎
• Equational Bases for If–Then–Else 👍 👎
• Equality-Test and If-Then-Else Algebras: Axiomatization and Specification 👍 👎
• Title not available (Why is that?) 👍 👎

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)