Axiomatization of if-then-else over possibly non-halting programs and tests
From MaRDI portal
Publication:5269894
DOI10.1142/S0218196717500138zbMath1365.68165arXiv1609.00132OpenAlexW2963084075MaRDI QIDQ5269894
No author found.
Publication date: 28 June 2017
Published in: International Journal of Algebra and Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1609.00132
Related Items
Monoids of non-halting programs with tests ⋮ Algebraic properties of if-then-else and commutative three-valued tests ⋮ On the structure of \(C\)-algebras through atomicity and \texttt{if-then-else}
Cites Work
- Actions of Boolean rings on sets
- Adas and the equational theory of if-then-else
- Comparison semigroups and algebras of transformations.
- A transformational characterization of if-then-else
- The algebra of conditional logic
- Triples and compact sheaf representation
- Sets with \(B\)-action and linear algebra
- Monoids with tests and the algebra of possibly non-halting programs
- Varieties of ”If-Then-Else“
- On the Axiomatization of “If-Then-Else”
- Equational Bases for If–Then–Else
- Equality-Test and If-Then-Else Algebras: Axiomatization and Specification
- Conditional Expressions with Equality Tests
- On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus
- A propositional logic with 4 values: true, false, divergent and meaningless
- Conditional Assertion and Restricted Quantification
- On notation for ordinal numbers
- SEMIGROUPS WITH if–then–else AND HALTING PROGRAMS
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
