METAVALUATIONS (Q4602434): Difference between revisions

@@ Property / cites work @@
+Q4085699
@@ Property / cites work: Q4085699 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3962967
@@ Property / cites work: Q3962967 / rank @@
+Normal rank
@@ Property / cites work @@
+Relevant implication and the case for a weaker logic
+Normal rank
@@ Property / cites work @@
+Q3543573
@@ Property / cites work: Q3543573 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3629239
@@ Property / cites work: Q3629239 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3605743
@@ Property / cites work: Q3605743 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3466594
@@ Property / cites work: Q3466594 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4918418
@@ Property / cites work: Q4918418 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4925883
@@ Property / cites work: Q4925883 / rank @@
+Normal rank
@@ Property / cites work @@
+The simple consistency of naive set theory using metavaluations
+Normal rank
@@ Property / cites work @@
+Distribution in the Logic of Meaning Containment and in Quantum Mechanics
+Normal rank
@@ Property / cites work @@
+Q4342081
@@ Property / cites work: Q4342081 / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of philosophical logic. Vol. 6
@@ Property / cites work: Handbook of philosophical logic. Vol. 6 / rank @@
+Normal rank
@@ Property / cites work @@
+On disjunctions and existential statements in intuitionistic systems of 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 @@
+Disjunction and existence under implication in elementary intuitionistic formalisms
+Normal rank
@@ Property / cites work @@
+The admissibility of \(\gamma\) in R4
@@ Property / cites work: The admissibility of \(\gamma\) in R4 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5579479
@@ Property / cites work: Q5579479 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5650669
@@ Property / cites work: Q5650669 / rank @@
+Normal rank
@@ Property / cites work @@
+Metacompleteness
@@ Property / cites work: Metacompleteness / 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 @@
+Q4795603
@@ Property / cites work: Q4795603 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3701398
@@ Property / cites work: Q3701398 / rank @@
+Normal rank
@@ Property / cites work @@
+The \(\gamma \)-admissibility of relevant modal logics. II: The method using metavaluations
+Normal rank
@@ Property / cites work @@
+A metacompleteness theorem for contraction-free relevant logics
+Normal rank