scientific article

From MaRDI portal

Publication:3916561

Jump to:navigation, search

zbMath0465.03021MaRDI QIDQ3916561

Andrzej Biela

Publication date: 1981

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

cardinalities structural rules substitution minimal system modus ponens directed systems Church's system descending systems finitely axiomatizable systems Lindenbaum's extension two-valued tautologies

Mathematics Subject Classification ID

Model theory (03C99) Classical propositional logic (03B05)

Related Items (1)

Key notions of Tarski's methodology of deductive systems

This page was built for publication:

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