Completeness Theory for Propositional Logics

• Main Authors: Pogorzelski, Witold A. (Author), Wojtylak, Piotr (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Basel : Birkhäuser Basel, 2008.
• Series: Studies in Universal Logic
• Subjects: Mathematics.; Mathematical logic.; Mathematical Logic and Foundations.

Completeness is one of the most important notions in logic and the foundations of mathematics. Many variants of the notion have been de?ned in literature. We shallconcentrateonthesevariants,andaspects,of completenesswhicharede?ned in propositional logic. Completeness means the possibility of getting...