Note on truth-tables
From MaRDI portal
Cited in
(7)- Algorithms for finding matrix models of propositional calculi
- Translations and structure for partial propositional calculi
- The shortest possible length of the longest implicational axiom
- Are the open-ended rules for negation categorical?
- Non-classical operations hidden in classical logic
- On Equivalent Truth-Tables of Many-Valued Logics
- On a fragment of the implicative propositional calculus
This page was built for publication: Note on truth-tables
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5798017)