The admissible rules of BD₂ and GSc
From MaRDI portal
Publication:1782237
DOI10.1215/00294527-3838972zbMATH Open1455.03034OpenAlexW2740137447MaRDI QIDQ1782237FDOQ1782237
Authors: Jeroen P. Goudsmit 
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
Recommendations
Cites Work
- Proof theory for admissible rules
- On two problems of Harvey Friedman
- Constructivism in mathematics. An introduction. Volume I
- Theory of logical calculi. Basic theory of consequence operations
- Admissibility of logical inference rules
- On the admissible rules of intuitionistic propositional logic
- Bases of admissible rules of Łukasiewicz logic
- Lattice Theory: Foundation
- A propositional calculus with denumerable matrix
- Independent Bases of Admissible Rules
- 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
- Title not available (Why is that?)
- Canonical formulas for K4. Part I: Basic results
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Unification in intuitionistic logic
- Canonical formulas for K4. Part II: Cofinal subframe logics
- Intermediate logics and Visser's rules
- Admissible Rules of Modal Logics
- Unification, finite duality and projectivity in varieties of Heyting algebras
- Admissible rules in the implication-negation fragment of intuitionistic logic
- On maximal intermediate logics with the disjunction property
- Title not available (Why is that?)
- Rules of inference with parameters for intuitionistic logic
- Unification through projectivity
- Concerning formulas of the types A→B ν C,A →(Ex)B(x) in intuitionistic formal systems
- Intuitionistic implication without disjunction
- An algebraic approach to subframe logics. Intuitionistic case
- Title not available (Why is that?)
- Profinite Heyting algebras
- Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
- On the rules of intermediate logics
- A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property
- Title not available (Why is that?)
- A(nother) characterization of intuitionistic propositional logic
- A note on admissible rules and the disjunction property in intermediate logics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Jankov's theorems for intermediate logics in the setting of universal models
- Not every splitting Heyting or interior algebra is finitely presentable
- Finitely generated free Heyting algebras
- Injective and Projective Heyting Algebras
- Pretabular superintuitionistic logic
- Refutation calculi for certain intermediate propositional logics
- On Bellissima's construction of the finitely generated free Heyting algebras, and beyond
- Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics
- Interpolation properties of superintuitionistic logics
- Rules and Derived Rules
- Finitely generated free Heyting algebras: the well-founded initial segment
- Title not available (Why is that?)
- Structural completeness of Gödel's and Dummett's propositional calculi
- Title not available (Why is that?)
- An application of kripke's completeness theorem for intuitionism to superconstructive propositional calculi
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)
