The axiomatization of propositional logic

DOI10.1515/FORMA-2016-0024MaRDI QIDQ520386zbMATH OpenOpenAlexFDO

Authors Mariusz Giero

Publication date 3 April 2017

Published in Formalized Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-ShareAlike 3.0 Unported

Full work available at URL https://doi.org/10.1515/forma-2016-0024

zbMATH Keywords

completenessformal systemLindenbaum's lemma

Mathematics Subject Classification ID

Classical propositional logic (03B05) Mechanization of proofs and logical operations (03B35)

Recommendations

• A proof of completeness of the two-valued propositional calculus
• scientific article; zbMATH DE number 1361516
• scientific article; zbMATH DE number 3857062
• scientific article; zbMATH DE number 4039849
• On a Method of Axiomatization of Some Propositional Calculi

Cites work

• On equivalents of well-foundedness. An experiment in MIZAR
• Propositional linear temporal logic with initial validity semantics
• Semantics of MML query -- ordering

Cited in

(8)

• A Logic of East and West
• scientific article; zbMATH DE number 5971087 (Why is no real title available?)
• scientific article; zbMATH DE number 1163928 (Why is no real title available?)
• A proof of completeness of the two-valued propositional calculus
• Paul Hertz’s Systems of Propositions As a Proof-Theoretical Conception of Logic
• A proof-theoretic investigation of a logic of positions
• scientific article; zbMATH DE number 4039849 (Why is no real title available?)
• Propositional Structure and B. Russell's Theory of Denoting inThe Principles of Mathematics

This page was built for publication: The axiomatization of propositional logic

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