On the Axiomatization of “If-Then-Else”

DOI10.1137/0216025zbMath0628.68032OpenAlexW2055563322MaRDI QIDQ3765240

Irène Guessarian, José Meseguer

Publication date: 1987

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

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

zbMATH Keywords

equational logicalgebraic semanticscontinuous algebrascomplete proof systemmany-sorted algebrasequational axiomatizationif-then-else

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Equational classes, universal algebra in model theory (03C05)

Related Items

Monoids of non-halting programs with tests ⋮ Axiomatization of a functional logic language ⋮ A matching process modulo a theory of categorical products ⋮ Equations for if-then-else ⋮ Adas and the equational theory of if-then-else ⋮ Monoids with tests and the algebra of possibly non-halting programs ⋮ On algebraic specifications of computable algebras with the discriminator technique ⋮ Algebraic properties of if-then-else and commutative three-valued tests ⋮ Data types over multiple-valued logics ⋮ Stochastic Decision Theory ⋮ SEMIGROUPS WITH if–then–else AND HALTING PROGRAMS ⋮ Axiomatisation des tests ⋮ Axiomatization of if-then-else over possibly non-halting programs and tests