Admissibility in positive logics (Q1689558): Difference between revisions

@@ Property / DOI @@
-.1007/s11787-017-0180-5
@@ Property / DOI: 10.1007/s11787-017-0180-5 / 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 @@
+Q4461807
@@ Property / cites work: Q4461807 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5789040
@@ Property / cites work: Q5789040 / rank @@
+Normal rank
@@ Property / cites work @@
+Admissible rules in the implication-negation fragment of intuitionistic logic
+Normal rank
@@ Property / cites work @@
+ON ADMISSIBLE RULES OF INTUITIONISTIC PROPOSITIONAL LOGIC
+Normal rank
@@ Property / cites work @@
+Canonical rules
@@ Property / cites work: Canonical rules / rank @@
+Normal rank
@@ Property / cites work @@
+Positive Formulas in Intuitionistic and Minimal Logic
+Normal rank
@@ Property / cites work @@
+Q4220413
@@ Property / cites work: Q4220413 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3235799
@@ Property / cites work: Q3235799 / rank @@
+Normal rank
@@ Property / cites work @@
+On unification and admissible rules in Gabbay-de Jongh logics
+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 @@
+Q5549788
@@ Property / cites work: Q5549788 / 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 @@
+Proof complexity of intuitionistic implicational formulas
+Normal rank
@@ Property / cites work @@
+Q4075514
@@ Property / cites work: Q4075514 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3226736
@@ Property / cites work: Q3226736 / 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 @@
+Constructive negations and paraconsistency
@@ Property / cites work: Constructive negations and paraconsistency / rank @@
+Normal rank
@@ Property / cites work @@
+On the structural completeness of some pure implicational propositional calculi
+Normal rank
@@ Property / cites work @@
+An algebraic approach to non-classical logics
@@ Property / cites work: An algebraic approach to non-classical logics / 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 @@
+Bases of admissible rules of the logics S4 and Int
+Normal rank
@@ Property / cites work @@
+Admissibility of logical inference rules
@@ Property / cites work: Admissibility of logical inference rules / rank @@
+Normal rank
@@ Property / cites work @@
+Q5771193
@@ Property / cites work: Q5771193 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3924171
@@ Property / cites work: Q3924171 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S11787-017-0180-5
@@ Property / DOI: 10.1007/S11787-017-0180-5 / rank @@
+Normal rank