The following pages link to The algebra of conditional logic (Q913791):
Displayed 20 items.
- A calculus for four-valued sequential logic (Q549178) (← links)
- Adas and the equational theory of if-then-else (Q690107) (← links)
- Data types over multiple-valued logics (Q752687) (← links)
- Decompositions of a \(C\)-algebra (Q884176) (← links)
- A Gentzen system for conditional logic (Q1327484) (← links)
- Monoids of non-halting programs with tests (Q1646607) (← links)
- On finite-valued propositional logical calculi (Q1913635) (← links)
- Fuzzy annihilator ideals of \(C\)-algebra (Q2092721) (← links)
- On the structure of \(C\)-algebras through atomicity and \texttt{if-then-else} (Q2310439) (← links)
- NORMAL C-ALGEBRAS (Q2868579) (← links)
- IDEALS OF <font>C</font>-ALGEBRAS (Q3056440) (← links)
- A propositional logic with 4 values: true, false, divergent and meaningless (Q4868228) (← links)
- ON ANNIHILATOR IDEALS OF C-ALGEBRAS (Q4928346) (← links)
- Encoding many-valued logic in $\lambda$-calculus (Q5009711) (← links)
- Fuzzy prime spectrum of $C$-algebras (Q5118331) (← links)
- Axiomatization of <tt>if-then-else</tt> over possibly non-halting programs and tests (Q5269894) (← links)
- ANNULETS AND α-IDEALS OF C-ALGEBRAS (Q5396072) (← links)
- QUASICOMPLEMENTED C-ALGEBRAS (Q5417502) (← links)
- Non-commutative propositional logic with short-circuit evaluation (Q5862001) (← links)
- Equations for if-then-else (Q6171778) (← links)