The algebra of conditional logic

DOI10.1007/BF01190256zbMath0701.03035OpenAlexW2018199468MaRDI QIDQ913791

Fernando Guzmán, Craig C. Squier

Publication date: 1990

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01190256

zbMATH Keywords

representation theorem3-valued logicconditional logic3-element algebra

Mathematics Subject Classification ID

Logic in computer science (03B70) Other algebras related to logic (03G25) Many-valued logic (03B50) Free algebras (08B20)

Related Items (20)

A Gentzen system for conditional logic ⋮ Monoids of non-halting programs with tests ⋮ On finite-valued propositional logical calculi ⋮ Decompositions of a \(C\)-algebra ⋮ Equations for if-then-else ⋮ A propositional logic with 4 values: true, false, divergent and meaningless ⋮ ANNULETS AND α-IDEALS OF C-ALGEBRAS ⋮ Adas and the equational theory of if-then-else ⋮ QUASICOMPLEMENTED C-ALGEBRAS ⋮ ON ANNIHILATOR IDEALS OF C-ALGEBRAS ⋮ A calculus for four-valued sequential logic ⋮ Fuzzy prime spectrum of $C$-algebras ⋮ IDEALS OF C-ALGEBRAS ⋮ Data types over multiple-valued logics ⋮ On the structure of \(C\)-algebras through atomicity and \texttt{if-then-else} ⋮ Fuzzy annihilator ideals of \(C\)-algebra ⋮ Encoding many-valued logic in $\lambda$-calculus ⋮ Non-commutative propositional logic with short-circuit evaluation ⋮ NORMAL C-ALGEBRAS ⋮ Axiomatization of if-then-else over possibly non-halting programs and tests

Cites Work

• Finite fixed point algebras are subdiagonalisable
• Enumerating fuzzy switching functions and free Kleene algebras
• Congruence varieties
• On free algebras and algebraic decompositions of algebras from some equational classes defined by regular equations
• On equational classes of abstract algebras defined by regular equations
• Lattices With Involution
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The algebra of conditional logic