The admissible rules of BD₂ and GSc
From MaRDI portal
Publication:1782237
Recommendations
Cites work
- scientific article; zbMATH DE number 1003731 (Why is no real title available?)
- scientific article; zbMATH DE number 31604 (Why is no real title available?)
- scientific article; zbMATH DE number 3557753 (Why is no real title available?)
- scientific article; zbMATH DE number 3591947 (Why is no real title available?)
- scientific article; zbMATH DE number 3639589 (Why is no real title available?)
- scientific article; zbMATH DE number 1889386 (Why is no real title available?)
- scientific article; zbMATH DE number 3222132 (Why is no real title available?)
- scientific article; zbMATH DE number 3230245 (Why is no real title available?)
- scientific article; zbMATH DE number 3231073 (Why is no real title available?)
- scientific article; zbMATH DE number 3291123 (Why is no real title available?)
- scientific article; zbMATH DE number 3300568 (Why is no real title available?)
- A note on admissible rules and the disjunction property in intermediate logics
- A propositional calculus with denumerable matrix
- A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property
- A(nother) characterization of intuitionistic propositional logic
- Admissibility of logical inference rules
- Admissible Rules of Modal Logics
- Admissible rules in the implication-negation fragment of intuitionistic logic
- An algebraic approach to subframe logics. Intuitionistic case
- An application of kripke's completeness theorem for intuitionism to superconstructive propositional calculi
- Bases of admissible rules of Łukasiewicz logic
- Canonical formulas for K4. Part I: Basic results
- Canonical formulas for K4. Part II: Cofinal subframe logics
- Concerning formulas of the types A→B ν C,A →(Ex)B(x) in intuitionistic formal systems
- Constructivism in mathematics. An introduction. Volume I
- Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics
- Finitely generated free Heyting algebras
- Finitely generated free Heyting algebras: the well-founded initial segment
- Independent Bases of Admissible Rules
- Injective and Projective Heyting Algebras
- Intermediate logics and Visser's rules
- Interpolation properties of superintuitionistic logics
- Intuitionistic implication without disjunction
- Jankov's theorems for intermediate logics in the setting of universal models
- Lattice Theory: Foundation
- Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
- Not every splitting Heyting or interior algebra is finitely presentable
- On Bellissima's construction of the finitely generated free Heyting algebras, and beyond
- On maximal intermediate logics with the disjunction property
- On the admissible rules of intuitionistic propositional logic
- On the rules of intermediate logics
- On two problems of Harvey Friedman
- On unification and admissible rules in Gabbay-de Jongh logics
- Pretabular superintuitionistic logic
- Profinite Heyting algebras
- Proof theory for admissible rules
- Refutation calculi for certain intermediate propositional logics
- Rules and Derived Rules
- Rules of inference with parameters for intuitionistic logic
- Structural completeness of Gödel's and Dummett's propositional calculi
- Theory of logical calculi. Basic theory of consequence operations
- Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\)
- Unification in intuitionistic logic
- Unification through projectivity
- Unification, finite duality and projectivity in varieties of Heyting algebras
Cited in
(3)
This page was built for publication: The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1782237)
