Hereditarily structurally complete positive logics
From MaRDI portal
Publication:5117590
DOI10.1017/S1755020319000169zbMATH Open1485.03062OpenAlexW2935251583MaRDI QIDQ5117590FDOQ5117590
Authors: Alex Citkin 
Publication date: 26 August 2020
Published in: The Review of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s1755020319000169
Recommendations
Other nonclassical logic (03B60) Intermediate logics (03B55) Equational classes, universal algebra in model theory (03C05) Heyting algebras (lattice-theoretic aspects) (06D20)
Cites Work
- Admissibility of logical inference rules
- On the structural completeness of some pure implicational propositional calculi
- Title not available (Why is that?)
- Structural Completeness in Substructural Logics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Admissible rules in the implication-negation fragment of intuitionistic logic
- Residuated lattices. An algebraic glimpse at substructural logics
- Admissible rules and the Leibniz hierarchy
- Title not available (Why is that?)
- Algebras Whose Congruence Lattices are Distributive.
- Title not available (Why is that?)
- Title not available (Why is that?)
- Concerning formulas of the types A→B ν C,A →(Ex)B(x) in intuitionistic formal systems
- Constructive negations and paraconsistency
- Title not available (Why is that?)
- Title not available (Why is that?)
- THE CALCULUS OF THE WEAK "LAW OF EXCLUDED MIDDLE"
- Injective and Projective Heyting Algebras
- Locally finite varieties of Heyting algebras
- Title not available (Why is that?)
- Finite axiomatizability of locally tabular superintuitionistic logics
- Positive universal classes in locally finite varieties
- Title not available (Why is that?)
- Varieties of implicative semi-lattices. II
- On decision procedures for sentential logics
- Hereditarily structurally complete modal logics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Structural completeness of Gödel's and Dummett's propositional calculi
- Title not available (Why is that?)
- On not strengthening intuitionistic logic
- Well quasi-order in combinatorics: embeddings and homomorphisms
- Title not available (Why is that?)
- Concerning the notion of completeness of invariant propositional calculi
- Title not available (Why is that?)
Cited In (7)
- Title not available (Why is that?)
- Unification types and union splittings in intermediate logics
- Singly generated quasivarieties and residuated structures
- Hereditarily structurally complete modal logics
- Structural Completeness in Substructural Logics
- Structural completeness in many-valued logics with rational constants
- Hereditarily structurally complete intermediate logics: Citkin's theorem via duality
This page was built for publication: Hereditarily structurally complete positive logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5117590)
