The following pages link to Proposition algebra (Q2946640):
Displaying 5 items.
- On a sequential model of the algebra of finite-valued logic (Q353506) (← links)
- 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)