Hereditarily structurally complete superintuitionistic deductive systems
From MaRDI portal
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.
Recommendations
Cites work
- scientific article; zbMATH DE number 1003731 (Why is no real title available?)
- scientific article; zbMATH DE number 4031761 (Why is no real title available?)
- scientific article; zbMATH DE number 3751028 (Why is no real title available?)
- scientific article; zbMATH DE number 67021 (Why is no real title available?)
- scientific article; zbMATH DE number 3557746 (Why is no real title available?)
- scientific article; zbMATH DE number 1226187 (Why is no real title available?)
- scientific article; zbMATH DE number 1471983 (Why is no real title available?)
- scientific article; zbMATH DE number 1746563 (Why is no real title available?)
- scientific article; zbMATH DE number 2108198 (Why is no real title available?)
- scientific article; zbMATH DE number 3307485 (Why is no real title available?)
- scientific article; zbMATH DE number 3310052 (Why is no real title available?)
- scientific article; zbMATH DE number 3316016 (Why is no real title available?)
- scientific article; zbMATH DE number 3339356 (Why is no real title available?)
- A note on admissible rules and the disjunction property in intermediate logics
- Admissibility of logical inference rules
- Admissible rules and the Leibniz hierarchy
- Algebraic semantics for the \((\leftrightarrow, \neg \neg)\)-fragment of IPC
- Algebraizable logics
- Almost structural completeness; an algebraic approach
- Concerning formulas of the types A→B ν C,A →(Ex)B(x) in intuitionistic formal systems
- Hereditarily structurally complete modal logics
- Injective and Projective Heyting Algebras
- Intermediate logics and Visser's rules
- Intermediate logics preserving admissible inference rules of heyting calculus
- Introduction to mathematical logic
- Locally finite varieties.
- ON ADMISSIBLE RULES OF INTUITIONISTIC PROPOSITIONAL LOGIC
- On Finite Model Property for Admissible Rules
- On the admissible rules of intuitionistic propositional logic
- Structural Completeness in Substructural Logics
- Structural completeness in fuzzy logics
- Structural completeness of Gödel's and Dummett's propositional calculi
- The Kuznetsov-Gerčiu and Rieger-Nishimura logics
Cited in
(10)- Hereditarily structurally complete positive logics
- scientific article; zbMATH DE number 4075019 (Why is no real title available?)
- scientific article; zbMATH DE number 5827852 (Why is no real title available?)
- Structural and universal completeness in algebra and logic
- scientific article; zbMATH DE number 3639589 (Why is no real title available?)
- scientific article; zbMATH DE number 67021 (Why is no real title available?)
- Hereditarily structurally complete intermediate logics: Citkin's theorem via duality
- Hereditarily structurally complete modal logics
- All intermediate logics with extra axioms in one variable except eight are not strongly \(\omega\)-complete.
- 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)
