VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS

DOI10.1017/S1755020319000236MaRDI QIDQ5241233

Tommaso Moraschini

Publication date: 30 October 2019

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1908.01659

zbMATH Keywords

modal logicabstract algebraic logicadmissible rulestructural completenesspositive modal logicalgebraization of Gentzen systems

Mathematics Subject Classification ID

Linearly ordered topological spaces, generalized ordered spaces, and partially ordered spaces (54F05) Modal logic (including the logic of norms) (03B45) Abstract algebraic logic (03G27)

Related Items (1)

Hereditarily structurally complete intermediate logics: Citkin's theorem via duality

Cites Work

• Almost structural completeness; an algebraic approach
• Structural completeness in relevance logics
• Positive provability logic for uniform reflection principles
• A Sahlqvist theorem for distributive modal logic
• Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class
• Varieties with equationally definable principal congruences
• A lattice of normal modal logics
• Splitting algebras and a weak notion of projectivity
• Structural completeness of Gödel's and Dummett's propositional calculi
• Lattices of quasivarieties
• Tools and techniques in modal logic
• Admissibility of logical inference rules
• A new semantics for positive modal logic
• Varieties of De Morgan monoids: minimality and irreducible algebras
• Positive modal logic
• Admissible rules and the Leibniz hierarchy
• Simple and subdirectly irreducibles bounded distributive lattices with unary operators
• The metamathematics of algebraic systems. Collected papers: 1936-1967. Translated, edited, and provided with supplementary notes by Benjamin Franklin Wells III
• The algebra of topology
• On the admissible rules of intuitionistic propositional logic
• Admissibility in Finitely Generated Quasivarieties
• Positive fragments of coalgebraic logics
• A remark on the s. c. free closure algebras
• Correspondences between gentzen and hilbert systems
• Structural Completeness in Substructural Logics
• Algebraizable logics
• Ordered Topological Spaces and the Representation of Distributive Lattices
• Hereditarily structurally complete modal logics
• Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic
• A Note on Strictly Positive Logics and Word Rewriting Systems
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Equational Bases and Nonmodular Lattice Varieties
• Protoalgebraic logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS