Connections between some notions of completeness of structural propositional calculi

DOI10.1007/BF02123818zbMath0345.02037OpenAlexW1972598366MaRDI QIDQ1233021

Marek Tokarz

Publication date: 1973

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02123818

Mathematics Subject Classification ID

Classical propositional logic (03B05) Many-valued logic (03B50) Categoricity and completeness of theories (03C35)

Related Items (7)

ON CONTRA-CLASSICAL VARIANTS OF NELSON LOGIC N4 AND ITS CLASSICAL EXTENSION ⋮ On the three-valued expansions of Kleene's logic ⋮ The lattice of strengthenings of a strongly finite consequence operation ⋮ From Paraconsistent Logic to Dialetheic Logic ⋮ Theories of the classical propositional logic and substitutions ⋮ Key notions of Tarski's methodology of deductive systems ⋮ Concerning the notion of completeness of invariant propositional calculi

Cites Work

• Some remarks on the consequence operation in sentential logics
• Unnamed Item

This page was built for publication: Connections between some notions of completeness of structural propositional calculi