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

DOI10.1142/S0218196719500255MaRDI QIDQ4968241zbMATH OpenOpenAlexFDO

Authors Khí-Uí Soo, T. E. 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 programsfunction semigroupsif-then-else

Mathematics Subject Classification ID

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

Recommendations

• Equality-Test and If-Then-Else Algebras: Axiomatization and Specification
• scientific article; zbMATH DE number 2217307
• scientific article; zbMATH DE number 1223627
• Some Boolean Valued Commutative Algebra
• scientific article; zbMATH DE number 5994599
• scientific article; zbMATH DE number 4090769
• The cylindric algebras of three-valued logic
• On Boolean algebras of conditionals and their logical counterpart
• On the Representation of Kleene Algebras with Tests
• Axiomatization of if-then-else over possibly non-halting programs and tests

Cites work

• Actions of Boolean rings on sets
• Adas and the equational theory of if-then-else
• An invitation to C-semigroups
• Axiomatization of if-then-else over possibly non-halting programs and tests
• Equality-Test and If-Then-Else Algebras: Axiomatization and Specification
• scientific article; zbMATH DE number 1086671 (Why is no real title available?)
• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• scientific article; zbMATH DE number 3430952 (Why is no real title available?)
• scientific article; zbMATH DE number 3322506 (Why is no real title available?)
• Injective de Morgan and Kleene Algebras
• Kleene algebra with domain
• Modal restriction semigroups: towards an algebra of functions.
• Monoids of non-halting programs with tests
• Monoids with tests and the algebra of possibly non-halting programs
• On the Axiomatization of “If-Then-Else”
• Semigroups with if-then-else and halting programs
• Varieties of ”If-Then-Else“

Cited in

(4)

• Monoids of non-halting programs with tests
• Monoids with tests and the algebra of possibly non-halting programs
• Some 3CNF properties are hard to test
• Semigroups with if-then-else and halting programs

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

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