zbMath0465.03021MaRDI QIDQ3916561
Andrzej Biela
Publication date: 1981
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
03C99: Model theory
03B05: Classical propositional logic
Related Items