HEREDITARILY STRUCTURALLY COMPLETE POSITIVE LOGICS

DOI10.1017/S1755020319000169zbMath1485.03062OpenAlexW2935251583MaRDI QIDQ5117590

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

zbMATH Keywords

Heyting algebraintermediate logicpositive logicprimitive varietyimplicative lattice

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Heyting algebras (lattice-theoretic aspects) (06D20) Equational classes, universal algebra in model theory (03C05) Intermediate logics (03B55)

Related Items (3)

Singly generated quasivarieties and residuated structures ⋮ Hereditarily structurally complete intermediate logics: Citkin's theorem via duality ⋮ Structural completeness in many-valued logics with rational constants

Cites Work

• 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
• Finite axiomatizability of locally tabular superintuitionistic logics
• Positive universal classes in locally finite varieties
• Admissible rules in the implication-negation fragment of intuitionistic logic
• Locally finite varieties of Heyting algebras
• Residuated lattices. An algebraic glimpse at substructural logics
• Constructive negations and paraconsistency
• On decision procedures for sentential logics
• Structural completeness of Gödel's and Dummett's propositional calculi
• Admissibility of logical inference rules
• Concerning the notion of completeness of invariant propositional calculi
• Admissible rules and the Leibniz hierarchy
• On not strengthening intuitionistic logic
• Varieties of implicative semi-lattices. II
• On the structural completeness of some pure implicational propositional calculi
• Well quasi-order in combinatorics: embeddings and homomorphisms
• Concerning formulas of the types A→B ν C,A →(Ex)B(x) in intuitionistic formal systems
• Structural Completeness in Substructural Logics
• Hereditarily structurally complete modal logics
• Algebras Whose Congruence Lattices are Distributive.
• THE CALCULUS OF THE WEAK "LAW OF EXCLUDED MIDDLE"
• Injective and Projective Heyting Algebras

This page was built for publication: HEREDITARILY STRUCTURALLY COMPLETE POSITIVE LOGICS