PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS (Q5737940): Difference between revisions

@@ Property / cites work @@
+Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\)
+Normal rank
@@ Property / cites work @@
+Q3226736
@@ Property / cites work: Q3226736 / rank @@
+Normal rank
@@ Property / cites work @@
+Properties of independently axiomatizable bimodal logics
+Normal rank
@@ Property / cites work @@
+The complexity of admissible rules of Lukasiewicz logic
+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 @@
+Complexity of admissible rules
@@ Property / cites work: Complexity of admissible 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 @@
+Proof theory for admissible rules
@@ Property / cites work: Proof theory for admissible rules / rank @@
+Normal rank
@@ Property / cites work @@
+Consequence relations and admissible rules
@@ Property / cites work: Consequence relations and admissible rules / rank @@
+Normal rank
@@ Property / cites work @@
+On rules
@@ Property / cites work: On rules / rank @@
+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 admissible rules of intuitionistic propositional logic
+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 @@
+Many-dimensional modal logics: theory and applications
+Normal rank
@@ Property / cites work @@
+A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property
+Normal rank
@@ Property / cites work @@
+Q4217280
@@ Property / cites work: Q4217280 / rank @@
+Normal rank
@@ Property / cites work @@
+Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics
+Normal rank
@@ Property / cites work @@
+Fibring: completeness preservation
@@ Property / cites work: Fibring: completeness preservation / rank @@
+Normal rank
@@ Property / cites work @@
+On unification and admissible rules in Gabbay-de Jongh logics
+Normal rank
@@ Property / cites work @@
+Best solving modal equations
@@ Property / cites work: Best solving modal equations / rank @@
+Normal rank
@@ Property / cites work @@
+Unification in intuitionistic logic
@@ Property / cites work: Unification in intuitionistic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of philosophical logic. Volume II: Extensions of classical logic
+Normal rank
@@ Property / cites work @@
+On meet-combination of logics
@@ Property / cites work: On meet-combination of logics / rank @@
+Normal rank
@@ Property / cites work @@
+One hundred and two problems in mathematical logic
+Normal rank
@@ Property / cites work @@
+Fibring of logics as a categorial construction
@@ Property / cites work: Fibring of logics as a categorial construction / rank @@
+Normal rank
@@ Property / cites work @@
+Structural completeness of Gödel's and Dummett's propositional calculi
+Normal rank
@@ Property / cites work @@
+Preservation of Craig interpolation by the product of matrix logics
+Normal rank
@@ Property / cites work @@
+Projective unification in modal logic
@@ Property / cites work: Projective unification in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Modulated fibring and the collapsing problem
@@ Property / cites work: Modulated fibring and the collapsing problem / rank @@
+Normal rank
@@ Property / cites work @@
+Admissible rules in the implication-negation fragment of 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 @@
+Proof of structural completeness of a certain class of implicative propositional calculi
+Normal rank
@@ Property / cites work @@
+A rule-completeness theorem
@@ Property / cites work: A rule-completeness theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Admissible Rules: From Characterizations to Applications
+Normal rank