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 semantics; modal logics; superintuitionistic logic; logical matrix; propositional logics; \(\omega \)-scales; Kripke contradictory logics; lattice of varieties of logical matrices; logic Grz of Grzegorczyk; Post complete logics; pretabular extensions of S4; pseudo- Boolean algebra with operators

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

03G25: Other algebras related to logic

03B20: Subsystems of classical logic (including intuitionistic logic)

03B99: General logic

03B55: Intermediate logics

Related Items

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

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