THE RELEVANT FRAGMENT OF FIRST ORDER LOGIC (Q2804477): Difference between revisions

@@ Property / cites work @@
+A Routley-Meyer type semantics for relevant logics including \(\text B_{\text r}\) plus the disjunctive syllogism
+Normal rank
@@ Property / cites work @@
+MODEL-THEORETIC CHARACTERIZATION OF INTUITIONISTIC PROPOSITIONAL FORMULAS
+Normal rank
@@ Property / cites work @@
+Real analysis in paraconsistent logic
@@ Property / cites work: Real analysis in paraconsistent logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4779126
@@ Property / cites work: Q4779126 / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of philosophical logic. Vol. 8
@@ Property / cites work: Handbook of philosophical logic. Vol. 8 / rank @@
+Normal rank
@@ Property / cites work @@
+Simulating without Negation
@@ Property / cites work: Simulating without Negation / rank @@
+Normal rank
@@ Property / cites work @@
+An alternative semantics for quantified relevant logic
+Normal rank
@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank
@@ Property / cites work @@
+Relevant logic and the theory of information
@@ Property / cites work: Relevant logic and the theory of information / rank @@
+Normal rank
@@ Property / cites work @@
+The simple consistency of a set theory based on the logic CSQ
+Normal rank
@@ Property / cites work @@
+Q4532193
@@ Property / cites work: Q4532193 / rank @@
+Normal rank
@@ Property / cites work @@
+On the ternary relation and conditionality
@@ Property / cites work: On the ternary relation and conditionality / rank @@
+Normal rank
@@ Property / cites work @@
+Q4297115
@@ Property / cites work: Q4297115 / rank @@
+Normal rank
@@ Property / cites work @@
+TRANSFINITE NUMBERS IN PARACONSISTENT SET THEORY
@@ Property / cites work: TRANSFINITE NUMBERS IN PARACONSISTENT SET THEORY / rank @@
+Normal rank
@@ Property / cites work @@
+Simplified semantics for relevant logics (and some of their rivals)
+Normal rank