The following pages link to Proposition algebra (Q2946640):
Displayed 4 items.
- Evaluation Trees for Proposition Algebra (Q3449625) (← links)
- Encoding many-valued logic in $\lambda$-calculus (Q5009711) (← links)
- An independent axiomatisation for free short-circuit logic (Q5375874) (← links)
- Non-commutative propositional logic with short-circuit evaluation (Q5862001) (← links)