Varieties of logical matrices

DOI10.1007/BF01984693zbMath0617.03013MaRDI QIDQ1821771

Alexander Chagrov

Publication date: 1985

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/187324

zbMATH Keywords

algebraic semanticsmodal logicssuperintuitionistic logiclogical matrixpropositional logics\(\omega \)-scalesKripke contradictory logicslattice of varieties of logical matriceslogic Grz of GrzegorczykPost complete logicspretabular extensions of S4pseudo- Boolean algebra with operators

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25) Subsystems of classical logic (including intuitionistic logic) (03B20) General logic (03B99) Intermediate logics (03B55)

Related Items

Normality of Horn theories with a nonmaximal spectrum, The number of the models of complete Horn theories of finite depth, The number of models for theories of everywhere finitely defined polygonometries, Modal companions of intermediate propositional logics, Undecidable properties of extensions of the logic of provability, Powerful types in small theories, Undecidable properties of extensions of provability logic. II

Cites Work

• Intuitionistic modal logics incompatible with the law of the excluded middle
• Some Post-complete extensions of S2 and S3
• Provability interpretations of modal logic
• Post Completeness and Free Algebras
• On systems of modal logic with provability interpretations
• The logical consequence relation of propositional tense logic
• Five critical modal systems
• Logics containing K4. Part I
• Semantic analysis of tense logics
• Some theorems about the sentential calculi of Lewis and Heyting
• Boolean Algebras with Operators. Part I
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item