\(\supset\)E is admissible in ``true'' relevant arithmetic (Q1272826): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Whither relevant arithmetic?
@@ Property / cites work: Whither relevant arithmetic? / rank @@
+Normal rank
@@ Property / cites work @@
+Begründung einer strengen Implikation
@@ Property / cites work: Begründung einer strengen Implikation / rank @@
+Normal rank
@@ Property / cites work @@
+Q5730122
@@ Property / cites work: Q5730122 / rank @@
+Normal rank
@@ Property / cites work @@
+E, R AND <i>γ</i>
@@ Property / cites work: E, R AND <i>γ</i> / rank @@
+Normal rank
@@ Property / cites work @@
+Relevant predication. I: The formal theory
@@ Property / cites work: Relevant predication. I: The formal theory / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+On Tarski's formalization of predicate logic with identity
+Normal rank
@@ Property / cites work @@
+Q5547552
@@ Property / cites work: Q5547552 / rank @@
+Normal rank
@@ Property / cites work @@
+Inconsistent models for relevant arithmetics
@@ Property / cites work: Inconsistent models for relevant arithmetics / rank @@
+Normal rank
@@ Property / cites work @@
+On 2nd order intuitionistic propositional calculus with full comprehension
+Normal rank
@@ Property / cites work @@
+Q4117804
@@ Property / cites work: Q4117804 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4732137
@@ Property / cites work: Q4732137 / rank @@
+Normal rank
@@ Property / cites work @@
+The semantics of entailment. III
@@ Property / cites work: The semantics of entailment. III / rank @@
+Normal rank
@@ Property / cites work @@
+Q4841568
@@ Property / cites work: Q4841568 / rank @@
+Normal rank
@@ Property / cites work @@
+Contributions to the Theory of Optimal Control. A General Procedure for the Computation of Switching Manifolds
+Normal rank
@@ Property / cites work @@
+Beweistheoretische Erfassung der unendlichen Induktion in der Zahlentheorie
+Normal rank