The following pages link to (Q3235349):
Displayed 4 items.
- A proof of axiomatizability of Lukasiewicz's three-valued implicational propositional calculus (Q1212447) (← links)
- Proof of structural completeness of a certain class of implicative propositional calculi (Q1232282) (← links)
- Algèbres implicatives trivalentes de Lukasiewicz libres (Q1244213) (← links)
- On structural completeness of many-valued logics (Q1252341) (← links)