DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV (Q5009678): Difference between revisions

@@ Property / cites work @@
+An application of kripke's completeness theorem for intuitionism to superconstructive propositional calculi
+Normal rank
@@ Property / cites work @@
+Unification theory
@@ Property / cites work: Unification theory / rank @@
+Normal rank
@@ Property / cites work @@
+Unification in linear temporal logic LTL
@@ Property / cites work: Unification in linear temporal logic LTL / rank @@
+Normal rank
@@ Property / cites work @@
+An effective representation for finitely generated free interior algebras
+Normal rank
@@ Property / cites work @@
+Finitely generated free Heyting algebras
@@ Property / cites work: Finitely generated free Heyting algebras / rank @@
+Normal rank
@@ Property / cites work @@
+On not strengthening intuitionistic logic
@@ Property / cites work: On not strengthening intuitionistic logic / rank @@
+Normal rank
@@ Property / cites work @@
+A rule-completeness theorem
@@ Property / cites work: A rule-completeness theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Locally finite reducts of Heyting algebras and canonical formulas
+Normal rank
@@ Property / cites work @@
+Extendible formulas in two variables in intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198505
@@ Property / cites work: Q4198505 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank
@@ Property / cites work @@
+A note on admissible rules and the disjunction property in intermediate logics
+Normal rank
@@ Property / cites work @@
+On Bellissima's construction of the finitely generated free Heyting algebras, and beyond
+Normal rank
@@ Property / cites work @@
+Finitely generated free Heyting algebras: the well-founded initial segment
+Normal rank
@@ Property / cites work @@
+Q3815277
@@ Property / cites work: Q3815277 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3544729
@@ Property / cites work: Q3544729 / rank @@
+Normal rank
@@ Property / cites work @@
+The finite model property with respect to admissibility for superintuitionistic logic
+Normal rank
@@ Property / cites work @@
+One hundred and two problems in mathematical logic
+Normal rank
@@ Property / cites work @@
+Description of Modal Logics Inheriting Admissible Rules for K4
+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 @@
+A Resolution/Tableaux Algorithm for Projective Approximations in IPC
+Normal rank
@@ Property / cites work @@
+Unification, finite duality and projectivity in varieties of Heyting algebras
+Normal rank
@@ Property / cites work @@
+Finite frames fail: how infinity works its way into the semantics of admissibility
+Normal rank
@@ Property / cites work @@
+The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\)
+Normal rank
@@ Property / cites work @@
+Q4836217
@@ Property / cites work: Q4836217 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5339292
@@ Property / cites work: Q5339292 / rank @@
+Normal rank
@@ Property / cites work @@
+On disjunctions and existential statements in intuitionistic systems of logic
+Normal rank
@@ Property / cites work @@
+Q4347145
@@ Property / cites work: Q4347145 / rank @@
+Normal rank
@@ Property / cites work @@
+Free S5 algebras
@@ Property / cites work: Free S5 algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q3987718
@@ Property / cites work: Q3987718 / rank @@
+Normal rank
@@ Property / cites work @@
+A(nother) characterization of intuitionistic propositional logic
+Normal rank
@@ Property / cites work @@
+On the admissible rules 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 @@
+Admissible Rules of Modal Logics
@@ Property / cites work: Admissible Rules of Modal Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Canonical rules
@@ Property / cites work: Canonical rules / rank @@
+Normal rank
@@ Property / cites work @@
+Q3338239
@@ Property / cites work: Q3338239 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5509710
@@ Property / cites work: Q5509710 / rank @@
+Normal rank
@@ Property / cites work @@
+Intermediate logics and the de Jongh property
@@ Property / cites work: Intermediate logics and the de Jongh property / rank @@
+Normal rank
@@ Property / cites work @@
+Q3837730
@@ Property / cites work: Q3837730 / rank @@
+Normal rank
@@ Property / cites work @@
+Jankov’s Theorems for Intermediate Logics in the Setting of Universal Models
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül
+Normal rank
@@ Property / cites work @@
+Q3226736
@@ Property / cites work: Q3226736 / rank @@
+Normal rank
@@ Property / cites work @@
+On closed elements in closure algebras
@@ Property / cites work: On closed elements in closure algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Admissibility in Finitely Generated Quasivarieties
+Normal rank
@@ Property / cites work @@
+Q3472080
@@ Property / cites work: Q3472080 / rank @@
+Normal rank
@@ Property / cites work @@
+On formulas of one variable in intuitionistic propositional calculus
+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 an interpretation of second order quantification in first order intuitionistic propositional logic
+Normal rank
@@ Property / cites work @@
+Some remarks on the concept of completeness of the propositional calculus. I
+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 @@
+Q3435240
@@ Property / cites work: Q3435240 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4795519
@@ Property / cites work: Q4795519 / rank @@
+Normal rank
@@ Property / cites work @@
+A criterion for admissibility of rules in the modal system S4 and intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Admissible rules for logics containing S4.3
@@ Property / cites work: Admissible rules for logics containing S4.3 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of the admissibility problem in layer-finite logics
+Normal rank
@@ Property / cites work @@
+Bases of admissible rules of the logics S4 and Int
+Normal rank
@@ Property / cites work @@
+Elementary theories of free topo-Boolean and pseudo-Boolean algebras
+Normal rank
@@ Property / cites work @@
+Q3745885
@@ Property / cites work: Q3745885 / rank @@
+Normal rank
@@ Property / cites work @@
+Equations in free topoboolean algebra
@@ Property / cites work: Equations in free topoboolean algebra / rank @@
+Normal rank
@@ Property / cites work @@
+BASES OF ADMISSIBLE RULES OF THE MODAL SYSTEM $ \mathrm{Grz}$ AND OF INTUITIONISTIC LOGIC
+Normal rank
@@ Property / cites work @@
+DECIDABILITY OF ADMISSIBILITY IN THE MODAL SYSTEM Grz AND IN INTUITIONISTIC LOGIC
+Normal rank
@@ Property / cites work @@
+Logical equations and admissible rules of inference with parameters in modal provability logics
+Normal rank
@@ Property / cites work @@
+Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus
+Normal rank
@@ Property / cites work @@
+ADMISSIBILITY OF RULES OF INFERENCE, AND LOGICAL EQUATIONS, IN MODAL LOGICS AXIOMATIZING PROVABILITY
+Normal rank
@@ Property / cites work @@
+CRITERIA FOR ADMISSIBILITY OF RULES OF INFERENCE WITH PARAMETERS IN THE INTUITIONISTIC PROPOSITIONAL CALCULUS
+Normal rank
@@ Property / cites work @@
+Solvability of logical equations in the modal system Grz and intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Rules of inference with parameters for intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Q4026933
@@ Property / cites work: Q4026933 / rank @@
+Normal rank
@@ Property / cites work @@
+Intermediate logics preserving admissible inference rules of heyting calculus
+Normal rank
@@ Property / cites work @@
+Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property
+Normal rank
@@ Property / cites work @@
+Q4834483
@@ Property / cites work: Q4834483 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4875137
@@ Property / cites work: Q4875137 / rank @@
+Normal rank
@@ Property / cites work @@
+Admissibility of logical inference rules
@@ Property / cites work: Admissibility of logical inference rules / rank @@
+Normal rank
@@ Property / cites work @@
+Q4489066
@@ Property / cites work: Q4489066 / rank @@
+Normal rank
@@ Property / cites work @@
+Construction of an Explicit Basis for Rules Admissible in Modal System S4
+Normal rank
@@ Property / cites work @@
+Tabular Logics with no Finite Bases for Inference Rules
+Normal rank
@@ Property / cites work @@
+Best unifiers in transitive modal logics
@@ Property / cites work: Best unifiers in transitive modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Unifiers in transitive modal logics for formulas with coefficients (meta-variables)
+Normal rank
@@ Property / cites work @@
+Writing out unifiers for formulas with coefficients in intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Description of modal logics inheriting admissible rules for S4
+Normal rank
@@ Property / cites work @@
+On Finite Model Property for Admissible Rules
@@ Property / cites work: On Finite Model Property for Admissible Rules / rank @@
+Normal rank
@@ Property / cites work @@
+Independent bases for rules admissible in pretabular logics
+Normal rank
@@ Property / cites work @@
+Q4517271
@@ Property / cites work: Q4517271 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4795513
@@ Property / cites work: Q4795513 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4487248
@@ Property / cites work: Q4487248 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3285631
@@ Property / cites work: Q3285631 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198475
@@ Property / cites work: Q4198475 / rank @@
+Normal rank
@@ Property / cites work @@
+Unification theory
@@ Property / cites work: Unification theory / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionistic propositional logic is polynomial-space complete
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume II
+Normal rank
@@ Property / cites work @@
+Free Heyting algebras
@@ Property / cites work: Free Heyting algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Rules and arithmetics
@@ Property / cites work: Rules and arithmetics / rank @@
+Normal rank
@@ Property / cites work @@
+Note on Rules of Inference
@@ Property / cites work: Note on Rules of Inference / rank @@
+Normal rank
@@ Property / cites work @@
+Q5690146
@@ Property / cites work: Q5690146 / rank @@
+Normal rank
@@ Property / cites work @@
+Canonical formulas for <i>K</i>4. Part I: Basic results
+Normal rank