A note on partial postulate sets for propositional logic

DOI10.1111/j.1755-2567.1955.tb00250.xzbMath0066.25603OpenAlexW2086711188MaRDI QIDQ3226746

Stig Kanger

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

zbMATH Keywords

philosophy and foundations of mathematics

Related Items

Meredith, Prior, and the history of possible worlds semantics, Quine and Slater on paraconsistency and deviance, SUBFORMULA AND SEPARATION PROPERTIES IN NATURAL DEDUCTION VIA SMALL KRIPKE MODELS, Non-classical operations hidden in classical logic, The genesis of possible worlds semantics