Principles for object-linguistic consequence: from logical to irreflexive (Q722029): Difference between revisions

@@ Property / Wikidata QID @@
+Q59528608
@@ Property / Wikidata QID: Q59528608 / rank @@
+Normal rank
@@ Property / cites work @@
+Iterated local reflection versus iterated consistency
+Normal rank
@@ Property / cites work @@
+Reflection principles and provability algebras in formal arithmetic
+Normal rank
@@ Property / cites work @@
+Grounding, dependence, and paradox
@@ Property / cites work: Grounding, dependence, and paradox / rank @@
+Normal rank
@@ Property / cites work @@
+A note on contraction-free logic for validity
@@ Property / cites work: A note on contraction-free logic for validity / rank @@
+Normal rank
@@ Property / cites work @@
+There is no paradox of logical validity
@@ Property / cites work: There is no paradox of logical validity / rank @@
+Normal rank
@@ Property / cites work @@
+Q3058982
@@ Property / cites work: Q3058982 / rank @@
+Normal rank
@@ Property / cites work @@
+Disarming a paradox of validity
@@ Property / cites work: Disarming a paradox of validity / rank @@
+Normal rank
@@ Property / cites work @@
+Q4384146
@@ Property / cites work: Q4384146 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3005147
@@ Property / cites work: Q3005147 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3093483
@@ Property / cites work: Q3093483 / rank @@
+Normal rank
@@ Property / cites work @@
+Validity as a primitive
@@ Property / cites work: Validity as a primitive / rank @@
+Normal rank
@@ Property / cites work @@
+Outline of a Theory of Truth
@@ Property / cites work: Outline of a Theory of Truth / rank @@
+Normal rank
@@ Property / cites work @@
+What truth depends on
@@ Property / cites work: What truth depends on / rank @@
+Normal rank
@@ Property / cites work @@
+Logical consequence and the paradoxes
@@ Property / cites work: Logical consequence and the paradoxes / rank @@
+Normal rank
@@ Property / cites work @@
+FIELD’S <i>SAVING TRUTH FROM PARADOX</i>: SOME THINGS IT DOESN’T DO
+Normal rank
@@ Property / cites work @@
+Q2973403
@@ Property / cites work: Q2973403 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5726696
@@ Property / cites work: Q5726696 / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary induction on abstract structures
@@ Property / cites work: Elementary induction on abstract structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744125
@@ Property / cites work: Q2744125 / rank @@
+Normal rank
@@ Property / cites work @@
+Reply to Professor Marcus
@@ Property / cites work: Reply to Professor Marcus / rank @@
+Normal rank
@@ Property / cites work @@
+CONSERVATIVELY EXTENDING CLASSICAL LOGIC WITH TRANSPARENT TRUTH
+Normal rank
@@ Property / cites work @@
+Q2939750
@@ Property / cites work: Q2939750 / rank @@
+Normal rank
@@ Property / cites work @@
+Restricting Initial Sequents: The Trade-Offs Between Identity, Contraction and Cut
+Normal rank
@@ Property / cites work @@
+Proofs and Computations
@@ Property / cites work: Proofs and Computations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4608316
@@ Property / cites work: Q4608316 / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidable theories
@@ Property / cites work: Undecidable theories / rank @@
+Normal rank
@@ Property / cites work @@
+A New Unified Account of Truth and Paradox
@@ Property / cites work: A New Unified Account of Truth and Paradox / rank @@
+Normal rank
@@ Property / cites work @@
+Dialetheism, logical consequence and hierarchy
@@ Property / cites work: Dialetheism, logical consequence and hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+TRUTH WITHOUT CONTRA(DI)CTION
@@ Property / cites work: TRUTH WITHOUT CONTRA(DI)CTION / rank @@
+Normal rank
@@ Property / cites work @@
+Naive \textit{modus ponens}
@@ Property / cites work: Naive \textit{modus ponens} / rank @@
+Normal rank