Completeness theory for propositional logics

zbMath1143.03001MaRDI QIDQ2372412

Witold A. Pogorzelski, Piotr Wojtylak

Publication date: 27 July 2007

Published in: Studies in Universal Logic (Search for Journal in Brave)

zbMATH Keywords

modal logiclattice theoryHeyting algebraŁukasiewicz logicstructural completenesslogical matrixpropositional logicsinuitionistic logicPost completeness

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Logical aspects of lattices and related structures (03G10) Other algebras related to logic (03G25) Classical propositional logic (03B05) Many-valued logic (03B50) Abstract deductive systems (03B22) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (16)

Almost structural completeness; an algebraic approach ⋮ On correspondence of standard modalities and negative ones on the basis of regular and quasi-regular logics ⋮ A lattice of the paracomplete calculi ⋮ A LOGICAL ANALYSIS OF RULE INCONSISTENCY ⋮ On the mutual definability of the notions of entailment, rejection, and inconsistency ⋮ Abstract algebraic logic. An introductory chapter ⋮ On pairs of dual consequence operations ⋮ Unification and Finite Model Property for Linear Step-Like Temporal Multi-Agent Logic with the Universal Modality ⋮ Singly generated quasivarieties and residuated structures ⋮ The Lvov-Warsaw School: A True Mythology ⋮ Beyond Rasiowan systems: unital deductive systems ⋮ Maximality of the Minimal R-Logic ⋮ Deciding active structural completeness ⋮ Structural completeness in many-valued logics with rational constants ⋮ Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality ⋮ On the system CB1 and a lattice of the paraconsistent calculi

This page was built for publication: Completeness theory for propositional logics