A note on partial postulate sets for propositional logic

DOI10.1111/J.1755-2567.1955.TB00250.XMaRDI QIDQ3226746zbMATH OpenOpenAlexFDO

Authors 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

Cited in

(5)

• 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
• Meredith, Prior, and the history of possible worlds semantics

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3226746)