The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\)
From MaRDI portal
Publication:1782237
DOI10.1215/00294527-3838972zbMath1455.03034OpenAlexW2740137447MaRDI QIDQ1782237
Publication date: 19 September 2018
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://projecteuclid.org/euclid.ndjfl/1501639384
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\)
- On unification and admissible rules in Gabbay-de Jongh logics
- Not every splitting Heyting or interior algebra is finitely presentable
- Intermediate logics and Visser's rules
- Unification, finite duality and projectivity in varieties of Heyting algebras
- Admissible rules in the implication-negation fragment of intuitionistic logic
- A note on admissible rules and the disjunction property in intermediate logics
- Refutation calculi for certain intermediate propositional logics
- On Bellissima's construction of the finitely generated free Heyting algebras, and beyond
- Profinite Heyting algebras
- Proof theory for admissible rules
- On maximal intermediate logics with the disjunction property
- Interpolation properties of superintuitionistic logics
- On two problems of Harvey Friedman
- Constructivism in mathematics. An introduction. Volume I
- Theory of logical calculi. Basic theory of consequence operations
- Structural completeness of Gödel's and Dummett's propositional calculi
- Admissibility of logical inference rules
- Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
- Pretabular superintuitionistic logic
- An algebraic approach to subframe logics. Intuitionistic case
- On the rules of intermediate logics
- On the admissible rules of intuitionistic propositional logic
- Intuitionistic implication without disjunction
- Jankov’s Theorems for Intermediate Logics in the Setting of Universal Models
- Bases of Admissible Rules of Lukasiewicz Logic
- Lattice Theory: Foundation
- A propositional calculus with denumerable matrix
- Concerning formulas of the types A→B ν C,A →(Ex)B(x) in intuitionistic formal systems
- Independent Bases of Admissible Rules
- Canonical formulas for K4. Part I: Basic results
- Rules of inference with parameters for intuitionistic logic
- Rules and Derived Rules
- Unification in intuitionistic logic
- Unification through projectivity
- Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics
- Finitely generated free Heyting algebras
- A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property
- Canonical formulas for K4. Part II: Cofinal subframe logics
- Finitely generated free Heyting algebras: the well-founded initial segment
- Injective and Projective Heyting Algebras
- An application of kripke's completeness theorem for intuitionism to superconstructive propositional calculi
- Admissible Rules of Modal Logics
- A(nother) characterization of intuitionistic propositional logic
