Criterion for propositional calculi to be finitely generated

From MaRDI portal

Publication:2344087

Jump to:navigation, search

DOI10.1515/dma-2013-0028zbMath1312.03020OpenAlexW2327274739MaRDI QIDQ2344087

G. V. Bokov

Publication date: 12 May 2015

Published in: Discrete Mathematics and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1515/dma-2013-0028

zbMATH Keywords

basis propositional calculus inference rules finite complete systems

Mathematics Subject Classification ID

Classical propositional logic (03B05)

This page was built for publication: Criterion for propositional calculi to be finitely generated

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2344087&oldid=14945925"