VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS
From MaRDI portal
Recommendations
Cites work
- A lattice of normal modal logics
- A new semantics for positive modal logic
- A note on strictly positive logics and word rewriting systems
- A remark on the s. c. free closure algebras
- A Sahlqvist theorem for distributive modal logic
- Abstract algebraic logic. An introductory textbook
- Admissibility in finitely generated quasivarieties
- Admissibility of logical inference rules
- Admissible rules and the Leibniz hierarchy
- Algebraizable logics
- Almost structural completeness; an algebraic approach
- Coalgebraic semantics for positive modal logic
- Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class
- Correspondences between gentzen and hilbert systems
- Equational Bases and Nonmodular Lattice Varieties
- Hereditarily structurally complete modal logics
- scientific article; zbMATH DE number 1003731 (Why is no real title available?)
- scientific article; zbMATH DE number 3929909 (Why is no real title available?)
- scientific article; zbMATH DE number 3987347 (Why is no real title available?)
- scientific article; zbMATH DE number 3659563 (Why is no real title available?)
- scientific article; zbMATH DE number 3751028 (Why is no real title available?)
- scientific article; zbMATH DE number 3787631 (Why is no real title available?)
- scientific article; zbMATH DE number 67021 (Why is no real title available?)
- scientific article; zbMATH DE number 3639589 (Why is no real title available?)
- scientific article; zbMATH DE number 1226187 (Why is no real title available?)
- scientific article; zbMATH DE number 1735874 (Why is no real title available?)
- scientific article; zbMATH DE number 1501629 (Why is no real title available?)
- scientific article; zbMATH DE number 1747706 (Why is no real title available?)
- scientific article; zbMATH DE number 1748069 (Why is no real title available?)
- scientific article; zbMATH DE number 755666 (Why is no real title available?)
- scientific article; zbMATH DE number 945663 (Why is no real title available?)
- Lattices of quasivarieties
- Modal logic
- On the admissible rules of intuitionistic propositional logic
- On the complexity of fragments of modal logics
- Ordered Topological Spaces and the Representation of Distributive Lattices
- Positive fragments of coalgebraic logics
- Positive modal logic
- Positive provability logic for uniform reflection principles
- Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic
- Protoalgebraic logics
- Representation of Distributive Lattices by means of ordered Stone Spaces
- Simple and subdirectly irreducibles bounded distributive lattices with unary operators
- Splitting algebras and a weak notion of projectivity
- Structural completeness in relevance logics
- Structural Completeness in Substructural Logics
- Structural completeness of Gödel's and Dummett's propositional calculi
- The algebra of topology
- The metamathematics of algebraic systems. Collected papers: 1936-1967. Translated, edited, and provided with supplementary notes by Benjamin Franklin Wells III
- Tools and techniques in modal logic
- Universal algebra. Fundamentals and selected topics
- Varieties of De Morgan monoids: minimality and irreducible algebras
- Varieties with equationally definable principal congruences
Cited in
(6)- Hereditarily structurally complete intermediate logics: Citkin's theorem via duality
- scientific article; zbMATH DE number 2015279 (Why is no real title available?)
- scientific article; zbMATH DE number 2196598 (Why is no real title available?)
- The variety of modal weak Gödel algebras
- Varieties of positive modal algebras and structural completeness
- Kripke-completeness and sequent calculus for quasi-Boolean modal logic
This page was built for publication: VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5241233)
