Equality-Test and If-Then-Else Algebras: Axiomatization and Specification

DOI10.1137/0220049zbMath0736.68061OpenAlexW1986418951MaRDI QIDQ3978179

Don Pigozzi

Publication date: 25 June 1992

Published in: SIAM Journal on Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1137/0220049

zbMATH Keywords

equational logicvarietyfinal algebrainitial algebraconditional equationsquasi varietyif-then-elseequality-testquasi equations

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Equational logic, Mal'tsev conditions (08B05) Data structures (68P05) Structure theory of algebraic structures (08A05) Quasivarieties (08C15)

Related Items (max. 100)

Closure properties for the class of behavioral models ⋮ Monoids of non-halting programs with tests ⋮ A Mathematical Life ⋮ A short overview of Hidden Logic ⋮ Boolean product representations of algebras via binary polynomials ⋮ Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties ⋮ Algebraic properties of if-then-else and commutative three-valued tests ⋮ Data types over multiple-valued logics ⋮ SEMIGROUPS WITH if–then–else AND HALTING PROGRAMS ⋮ Axiomatization of if-then-else over possibly non-halting programs and tests

This page was built for publication: Equality-Test and If-Then-Else Algebras: Axiomatization and Specification