A note on partial postulate sets for propositional logic
From MaRDI portal
Publication:3226746
DOI10.1111/j.1755-2567.1955.tb00250.xzbMath0066.25603MaRDI QIDQ3226746
Publication date: 1955
Published in: Theoria (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1111/j.1755-2567.1955.tb00250.x
Related Items
Meredith, Prior, and the history of possible worlds semantics, Quine and Slater on paraconsistency and deviance, The genesis of possible worlds semantics, SUBFORMULA AND SEPARATION PROPERTIES IN NATURAL DEDUCTION VIA SMALL KRIPKE MODELS, Non-classical operations hidden in classical logic