The Axiomatization of Propositional Logic

Publié en ligne: 23 févr. 2017

Pages: 281 - 290

Reçu: 18 oct. 2016

DOI: https://doi.org/10.1515/forma-2016-0024

Mots clés

completeness, formal system, Lindenbaum’s lemma

© 2016 Mariusz Giero, published by De Gruyter Open

This work is licensed under version 3.0 of the Creative Commons Attribution–ShareAlike License.