Some remarks on the concept of completeness of the propositional calculus. I

DOI10.1007/BF02124620zbMath0311.02015OpenAlexW2052341644MaRDI QIDQ1219263

Witold A. Pogorzelski

Publication date: 1968

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

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

Mathematics Subject Classification ID

Classical propositional logic (03B05) Categoricity and completeness of theories (03C35)

Related Items (2)

Matrix approach in methodology of sentential calculi ⋮ DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV

Cites Work

• Unnamed Item
• Concerning the method of logical schemes, the notion of logical calculus and the role of consequence relations
• Some structure results for propositional calculi

This page was built for publication: Some remarks on the concept of completeness of the propositional calculus. I