The following pages link to Note on truth-tables (Q5798017):
Displaying 5 items.
- On a fragment of the implicative propositional calculus (Q766811) (← links)
- Algorithms for finding matrix models of propositional calculi (Q1181707) (← links)
- Translations and structure for partial propositional calculi (Q1211980) (← links)
- The shortest possible length of the longest implicational axiom (Q1914373) (← links)
- Are the open-ended rules for negation categorical? (Q2695402) (← links)
