The axiomatization of propositional logic

DOI10.1515/FORMA-2016-0024zbMATH Open1357.03036OpenAlexW2592067303MaRDI QIDQ520386FDOQ520386

Authors: Mariusz Giero 

Publication date: 3 April 2017

Published in: Formalized Mathematics (Search for Journal in Brave)

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

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

zbMATH Keywords

completenessformal systemLindenbaum's lemma

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (8)

• Title not available (Why is that?)
• A proof of completeness of the two-valued propositional calculus
• Paul Hertz’s Systems of Propositions As a Proof-Theoretical Conception of Logic
• A Logic of East and West
• Propositional Structure and B. Russell's Theory of Denoting inThe Principles of Mathematics
• Title not available (Why is that?)
• A proof-theoretic investigation of a logic of positions
• Title not available (Why is that?)

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)