The axiomatization of propositional logic

DOI10.1515/forma-2016-0024zbMath1357.03036OpenAlexW2592067303MaRDI QIDQ520386

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

zbMATH Keywords

completenessformal systemLindenbaum's lemma

Mathematics Subject Classification ID

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

Related Items (1)

A Logic of East and West

Cites Work

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

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