The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\)
type: Item
instance of: scholarly article
title: The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\)
zbMATH Open document ID: 1455.03034
DOI: 10.1215/00294527-3838972
author: Jeroen P. Goudsmit
published in: Notre Dame Journal of Formal Logic
publication date: 2018-09-19T00:00:00Z
full work available at URL: https://projecteuclid.org/euclid.ndjfl/1501639384
Mathematics Subject Classification ID: 03B55
Mathematics Subject Classification ID: 03B20
zbMATH DE Number: 6939323
zbMATH Keywords: admissible rules
zbMATH Keywords: intermediate logics
zbMATH Keywords: intuitionistic logic
zbMATH Keywords: universal model
MaRDI profile type: Publication
OpenAlex ID: W2740137447
cites work: An application of kripke's completeness theorem for intuitionism to superconstructive propositional calculi
cites work: Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics
cites work: Injective and Projective Heyting Algebras
cites work: Finitely generated free Heyting algebras
cites work: Profinite Heyting algebras
cites work: An algebraic approach to subframe logics. Intuitionistic case
cites work: Q3128959
cites work: Admissible rules in the implication-negation fragment of intuitionistic logic
cites work: Q4198474
cites work: A note on admissible rules and the disjunction property in intermediate logics
cites work: Not every splitting Heyting or interior algebra is finitely presentable
cites work: On Bellissima's construction of the finitely generated free Heyting algebras, and beyond
cites work: Q5509710
cites work: Jankov’s Theorems for Intermediate Logics in the Setting of Universal Models
cites work: A propositional calculus with denumerable matrix
cites work: Structural completeness of Gödel's and Dummett's propositional calculi
cites work: Finitely generated free Heyting algebras: the well-founded initial segment
cites work: A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property
cites work: Unification through projectivity
cites work: Unification in intuitionistic logic
cites work: Unification, finite duality and projectivity in varieties of Heyting algebras
cites work: On unification and admissible rules in Gabbay-de Jongh logics
cites work: Lattice Theory: Foundation
cites work: Concerning formulas of the types A→B ν C,A →(Ex)B(x) in intuitionistic formal systems
cites work: Q5582306
cites work: On the admissible rules of intuitionistic propositional logic
cites work: A(nother) characterization of intuitionistic propositional logic
cites work: Intermediate logics and Visser's rules
cites work: On the rules of intermediate logics
cites work: Proof theory for admissible rules
cites work: Q5519125
cites work: Admissible Rules of Modal Logics
cites work: Independent Bases of Admissible Rules
cites work: Bases of Admissible Rules of Lukasiewicz Logic
cites work: Pretabular superintuitionistic logic
cites work: Interpolation properties of superintuitionistic logics
cites work: On maximal intermediate logics with the disjunction property
cites work: Q5573952
cites work: Q4133602
cites work: Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\)
cites work: On two problems of Harvey Friedman
cites work: Intuitionistic implication without disjunction
cites work: Rules of inference with parameters for intuitionistic logic
cites work: Admissibility of logical inference rules
cites work: Rules and Derived Rules
cites work: Q4159022
cites work: Q3987719
cites work: Refutation calculi for certain intermediate propositional logics
cites work: Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
cites work: Q4799892
cites work: Q5518356
cites work: Constructivism in mathematics. An introduction. Volume I
cites work: Theory of logical calculi. Basic theory of consequence operations
cites work: Canonical formulas for K4. Part I: Basic results
cites work: Canonical formulas for K4. Part II: Cofinal subframe logics
description: scientific article; zbMATH DE number 6939323