The axiomatization of propositional logic
type: Item
instance of: scholarly article
title: The axiomatization of propositional logic
zbMATH Open document ID: 1357.03036
author: Mariusz Giero
published in: Formalized Mathematics
publication date: 2017-04-03T00:00:00Z
Mathematics Subject Classification ID: 03B05
Mathematics Subject Classification ID: 03B35
zbMATH DE Number: 6699645
zbMATH Keywords: completeness
zbMATH Keywords: formal system
zbMATH Keywords: Lindenbaum's lemma
MaRDI profile type: Publication
full work available at URL: forma-2016-0024
OpenAlex ID: W2592067303
cites work: Semantics of MML query -- ordering
cites work: Propositional linear temporal logic with initial validity semantics
cites work: On equivalents of well-foundedness. An experiment in MIZAR
DOI: 10.1515/FORMA-2016-0024
description: scientific article; zbMATH DE number 6699645