On rules (Q266650): Difference between revisions

@@ Property / cites work @@
+Q2751360
@@ Property / cites work: Q2751360 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear Temporal Logic LTL: Basis for Admissible Rules
+Normal rank
@@ Property / cites work @@
+Decidable modal logic with undecidable admissibility problem
+Normal rank
@@ Property / cites work @@
+Structural completeness in fuzzy logics
@@ Property / cites work: Structural completeness in fuzzy logics / 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 @@
+Q4111001
@@ Property / cites work: Q4111001 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4820592
@@ Property / cites work: Q4820592 / rank @@
+Normal rank
@@ Property / cites work @@
+Unification in intuitionistic logic
@@ Property / cites work: Unification in intuitionistic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Best solving modal equations
@@ Property / cites work: Best solving modal equations / 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 @@
+On unification and admissible rules in Gabbay-de Jongh logics
+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 @@
+A syntactic approach to unification in transitive reflexive modal logics
+Normal rank
@@ Property / cites work @@
+Proof theory for admissible rules
@@ Property / cites work: Proof theory for admissible rules / rank @@
+Normal rank
@@ Property / cites work @@
+Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics
+Normal rank
@@ Property / cites work @@
+UNIFICATION IN INTERMEDIATE LOGICS
@@ Property / cites work: UNIFICATION IN INTERMEDIATE LOGICS / 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 @@
+Complexity of admissible rules
@@ Property / cites work: Complexity of admissible rules / 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 @@
+Canonical rules
@@ Property / cites work: Canonical rules / rank @@
+Normal rank
@@ Property / cites work @@
+Admissible Rules of Lukasiewicz Logic
@@ Property / cites work: Admissible Rules of Lukasiewicz Logic / 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 @@
+MODAL COMPANIONS OF SUPERINTUITIONISTIC LOGICS: SYNTAX, SEMANTICS, AND PRESERVATION THEOREMS
+Normal rank
@@ Property / cites work @@
+Q3226736
@@ Property / cites work: Q3226736 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3472080
@@ Property / cites work: Q3472080 / 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 @@
+Structural Completeness in Substructural Logics
@@ Property / cites work: Structural Completeness in Substructural Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5616120
@@ Property / cites work: Q5616120 / rank @@
+Normal rank
@@ Property / cites work @@
+Structural completeness of the first‐order predicate calculus
+Normal rank
@@ Property / cites work @@
+On the structural completeness of some pure implicational propositional calculi
+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 @@
+Q4133597
@@ Property / cites work: Q4133597 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4834483
@@ Property / cites work: Q4834483 / 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 @@
+Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition
+Normal rank
@@ Property / cites work @@
+Writing out Unifiers in Linear Temporal Logic
@@ Property / cites work: Writing out Unifiers in Linear Temporal Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3987719
@@ Property / cites work: Q3987719 / rank @@
+Normal rank
@@ Property / cites work @@
+A structurally complete fragment of relevant logic
+Normal rank
@@ Property / cites work @@
+Algebraic semantics for the (↔, ¬¬)-fragment of IPC
+Normal rank
@@ Property / cites work @@
+Q4499084
@@ Property / cites work: Q4499084 / rank @@
+Normal rank
@@ Property / cites work @@
+Rules and arithmetics
@@ Property / cites work: Rules and arithmetics / rank @@
+Normal rank
@@ Property / cites work @@
+Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic
+Normal rank
@@ Property / cites work @@
+An alternative rule of disjunction in modal logic
@@ Property / cites work: An alternative rule of disjunction in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Some admissible rules in nonnormal modal systems
@@ Property / cites work: Some admissible rules in nonnormal modal systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4820597
@@ Property / cites work: Q4820597 / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability of the unification and admissibility problems for modal and description logics
+Normal rank
@@ Property / cites work @@
+Q5690146
@@ Property / cites work: Q5690146 / rank @@
+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
@@ Property / cites work @@
+Canonical formulas for K4. Part III: the finite model property
+Normal rank