Algebraic properties of if-then-else and commutative three-valued tests

DOI10.1142/S0218196719500255zbMath1492.68042OpenAlexW2911336923MaRDI QIDQ4968241

Khí-Uí Soo, Timothy Stokes

Publication date: 12 July 2019

Published in: International Journal of Algebra and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/s0218196719500255

zbMATH Keywords

algebra of programsif-then-elsefunction semigroups

Mathematics Subject Classification ID

Applications of universal algebra in computer science (08A70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Actions of Boolean rings on sets
• Adas and the equational theory of if-then-else
• Monoids of non-halting programs with tests
• Monoids with tests and the algebra of possibly non-halting programs
• MODAL RESTRICTION SEMIGROUPS: TOWARDS AN ALGEBRA OF FUNCTIONS
• Varieties of ”If-Then-Else“
• On the Axiomatization of “If-Then-Else”
• Equality-Test and If-Then-Else Algebras: Axiomatization and Specification
• Injective de Morgan and Kleene Algebras
• Axiomatization of if-then-else over possibly non-halting programs and tests
• Kleene algebra with domain
• SEMIGROUPS WITH if–then–else AND HALTING PROGRAMS
• An invitation to \(C\)-semigroups

This page was built for publication: Algebraic properties of if-then-else and commutative three-valued tests