Hereditarily structurally complete superintuitionistic deductive systems

DOI10.1007/s11225-017-9769-1zbMath1439.03067arXiv1611.04809OpenAlexW2586254625MaRDI QIDQ1790607

Alex Citkin

Publication date: 2 October 2018

Published in: Studia Logica (Search for Journal in Brave)

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

zbMATH Keywords

Heyting algebraadmissible rulesuperintuitionistic logicdeductive systemstructural completenesshereditary structural completenessprimitive quasivariety

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55)

Related Items (3)

Structural completeness and superintuitionistic inquisitive logics ⋮ Structural and universal completeness in algebra and logic ⋮ Hereditarily structurally complete intermediate logics: Citkin's theorem via duality

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
• Almost structural completeness; an algebraic approach
• Intermediate logics and Visser's rules
• A note on admissible rules and the disjunction property in intermediate logics
• Structural completeness in fuzzy logics
• Structural completeness of Gödel's and Dummett's propositional calculi
• Admissibility of logical inference rules
• Locally finite varieties.
• Admissible rules and the Leibniz hierarchy
• On the admissible rules of intuitionistic propositional logic
• Algebraic semantics for the (↔, ¬¬)-fragment of IPC
• Concerning formulas of the types A→B ν C,A →(Ex)B(x) in intuitionistic formal systems
• The Kuznetsov-Gerčiu and Rieger-Nishimura logics
• Structural Completeness in Substructural Logics
• Algebraizable logics
• ON ADMISSIBLE RULES OF INTUITIONISTIC PROPOSITIONAL LOGIC
• Intermediate logics preserving admissible inference rules of heyting calculus
• On Finite Model Property for Admissible Rules
• Hereditarily structurally complete modal logics
• Injective and Projective Heyting Algebras

This page was built for publication: Hereditarily structurally complete superintuitionistic deductive systems