The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\) (Q1782237): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2740137447
@@ Property / OpenAlex ID: W2740137447 / rank @@
+Normal rank
@@ Property / cites work @@
+An application of kripke's completeness theorem for intuitionism to superconstructive propositional calculi
+Normal rank
@@ Property / cites work @@
+Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics
+Normal rank
@@ Property / cites work @@
+Injective and Projective Heyting Algebras
@@ Property / cites work: Injective and Projective Heyting Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Finitely generated free Heyting algebras
@@ Property / cites work: Finitely generated free Heyting algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Profinite Heyting algebras
@@ Property / cites work: Profinite Heyting algebras / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic approach to subframe logics. Intuitionistic case
+Normal rank
@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank
@@ Property / cites work @@
+Admissible rules in the implication-negation fragment of intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Q4198474
@@ Property / cites work: Q4198474 / rank @@
+Normal rank
@@ Property / cites work @@
+A note on admissible rules and the disjunction property in intermediate logics
+Normal rank
@@ Property / cites work @@
+Not every splitting Heyting or interior algebra is finitely presentable
+Normal rank
@@ Property / cites work @@
+On Bellissima's construction of the finitely generated free Heyting algebras, and beyond
+Normal rank
@@ Property / cites work @@
+Q5509710
@@ Property / cites work: Q5509710 / rank @@
+Normal rank
@@ Property / cites work @@
+Jankov’s Theorems for Intermediate Logics in the Setting of Universal Models
+Normal rank
@@ Property / cites work @@
+A propositional calculus with denumerable matrix
@@ Property / cites work: A propositional calculus with denumerable matrix / rank @@
+Normal rank
@@ Property / cites work @@
+Structural completeness of Gödel's and Dummett's propositional calculi
+Normal rank
@@ Property / cites work @@
+Finitely generated free Heyting algebras: the well-founded initial segment
+Normal rank
@@ Property / cites work @@
+A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property
+Normal rank
@@ Property / cites work @@
+Unification through projectivity
@@ Property / cites work: Unification through projectivity / rank @@
+Normal rank
@@ Property / cites work @@
+Unification in intuitionistic logic
@@ Property / cites work: Unification in intuitionistic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Unification, finite duality and projectivity in varieties of Heyting algebras
+Normal rank
@@ Property / cites work @@
+On unification and admissible rules in Gabbay-de Jongh logics
+Normal rank
@@ Property / cites work @@
+Lattice Theory: Foundation
@@ Property / cites work: Lattice Theory: Foundation / rank @@
+Normal rank
@@ Property / cites work @@
+Concerning formulas of the types <i>A→B</i> ν <i>C,A →(Ex)B(x)</i> in intuitionistic formal systems
+Normal rank
@@ Property / cites work @@
+Q5582306
@@ Property / cites work: Q5582306 / rank @@
+Normal rank
@@ Property / cites work @@
+On the admissible rules of intuitionistic propositional logic
+Normal rank
@@ Property / cites work @@
+A(nother) characterization of intuitionistic propositional logic
+Normal rank
@@ Property / cites work @@
+Intermediate logics and Visser's rules
@@ Property / cites work: Intermediate logics and Visser's rules / rank @@
+Normal rank
@@ Property / cites work @@
+On the rules of intermediate logics
@@ Property / cites work: On the rules of intermediate logics / rank @@
+Normal rank
@@ Property / cites work @@
+Proof theory for admissible rules
@@ Property / cites work: Proof theory for admissible rules / rank @@
+Normal rank
@@ Property / cites work @@
+Q5519125
@@ Property / cites work: Q5519125 / rank @@
+Normal rank
@@ Property / cites work @@
+Admissible Rules of Modal Logics
@@ Property / cites work: Admissible Rules of Modal Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Independent Bases of Admissible Rules
@@ Property / cites work: Independent Bases of Admissible Rules / rank @@
+Normal rank
@@ Property / cites work @@
+Bases of Admissible Rules of Lukasiewicz Logic
@@ Property / cites work: Bases of Admissible Rules of Lukasiewicz Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Pretabular superintuitionistic logic
@@ Property / cites work: Pretabular superintuitionistic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolation properties of superintuitionistic logics
+Normal rank
@@ Property / cites work @@
+On maximal intermediate logics with the disjunction property
+Normal rank
@@ Property / cites work @@
+Q5573952
@@ Property / cites work: Q5573952 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4133602
@@ Property / cites work: Q4133602 / rank @@
+Normal rank
@@ Property / cites work @@
+Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\)
+Normal rank
@@ Property / cites work @@
+On two problems of Harvey Friedman
@@ Property / cites work: On two problems of Harvey Friedman / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionistic implication without disjunction
@@ Property / cites work: Intuitionistic implication without disjunction / rank @@
+Normal rank
@@ Property / cites work @@
+Rules of inference with parameters for intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Admissibility of logical inference rules
@@ Property / cites work: Admissibility of logical inference rules / rank @@
+Normal rank
@@ Property / cites work @@
+Rules and Derived Rules
@@ Property / cites work: Rules and Derived Rules / rank @@
+Normal rank
@@ Property / cites work @@
+Q4159022
@@ Property / cites work: Q4159022 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3987719
@@ Property / cites work: Q3987719 / rank @@
+Normal rank
@@ Property / cites work @@
+Refutation calculi for certain intermediate propositional logics
+Normal rank
@@ Property / cites work @@
+Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
+Normal rank
@@ Property / cites work @@
+Q4799892
@@ Property / cites work: Q4799892 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5518356
@@ Property / cites work: Q5518356 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume I
+Normal rank
@@ Property / cites work @@
+Theory of logical calculi. Basic theory of consequence operations
+Normal rank
@@ Property / cites work @@
+Canonical formulas for <i>K</i>4. Part I: Basic results
+Normal rank
@@ Property / cites work @@
+Canonical formulas for K4. Part II: Cofinal subframe logics
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1782237