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 (5)

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

This page was built for publication: A note on partial postulate sets for propositional logic