Publication:1790607

DOI10.1007/S11225-017-9769-1zbMATH Open1439.03067arXiv1611.04809OpenAlexW2586254625MaRDI QIDQ1790607FDOQ1790607

Alex Citkin

Publication date: 2 October 2018

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

Abstract: The paper studies hereditarily complete superintuitionistic deductive systems, that is, the deductive system which logic is an extension of the intuitionistic propositional logic. It is proven that for deductive systems a criterion of hereditary structurality - similar to one that exists for logics - does not exists. Nevertheless, it is proven that many standard superintuitionistic logics (including Int) can be defined by a hereditarily structurally complete deductive system.

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

zbMATH Keywords

deductive systemstructural completenessadmissible ruleHeyting algebrasuperintuitionistic logichereditary structural completenessprimitive quasivariety

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (5)

• Structural and universal completeness in algebra and logic
• Title not available (Why is that?)
• Hereditarily structurally complete modal logics
• Hereditarily structurally complete intermediate logics: Citkin's theorem via duality
• Structural completeness and superintuitionistic inquisitive logics

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1790607)