Note on truth-tables

DOI10.2307/2266782zbMath0039.00603OpenAlexW2022239108MaRDI QIDQ5798017

Jan Kalicki

Publication date: 1950

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2266782

zbMATH Keywords

philosophy and foundations of mathematics

Related Items

The shortest possible length of the longest implicational axiom ⋮ Are the open-ended rules for negation categorical? ⋮ Algorithms for finding matrix models of propositional calculi ⋮ Translations and structure for partial propositional calculi ⋮ Non-classical operations hidden in classical logic ⋮ On a fragment of the implicative propositional calculus ⋮ On Equivalent Truth-Tables of Many-Valued Logics