Connections between some notions of completeness of structural propositional calculi
From MaRDI portal
Publication:1233021
DOI10.1007/BF02123818zbMath0345.02037MaRDI QIDQ1233021
Publication date: 1973
Published in: Studia Logica (Search for Journal in Brave)
03B05: Classical propositional logic
03B50: Many-valued logic
03C35: Categoricity and completeness of theories
Related Items
The lattice of strengthenings of a strongly finite consequence operation, Key notions of Tarski's methodology of deductive systems, Concerning the notion of completeness of invariant propositional calculi
Cites Work