Naive structure, contraction and paradox (Q1708466): Difference between revisions

@@ Property / cites work @@
+Q4085699
@@ Property / cites work: Q4085699 / rank @@
+Normal rank
@@ Property / cites work @@
+Restricted arrow
@@ Property / cites work: Restricted arrow / rank @@
+Normal rank
@@ Property / cites work @@
+Curry's paradox and \(\omega \)-inconsistency
@@ Property / cites work: Curry's paradox and \(\omega \)-inconsistency / rank @@
+Normal rank
@@ Property / cites work @@
+Free of Detachment: Logic, Rationality, and Gluts
@@ Property / cites work: Free of Detachment: Logic, Rationality, and Gluts / rank @@
+Normal rank
@@ Property / cites work @@
+Q4940716
@@ Property / cites work: Q4940716 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3543573
@@ Property / cites work: Q3543573 / 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 @@
+Diagonalization and truth functional operators
@@ Property / cites work: Diagonalization and truth functional operators / rank @@
+Normal rank
@@ Property / cites work @@
+Logical constants as punctuation marks
@@ Property / cites work: Logical constants as punctuation marks / rank @@
+Normal rank
@@ Property / cites work @@
+Q4940723
@@ Property / cites work: Q4940723 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4940724
@@ Property / cites work: Q4940724 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3058982
@@ Property / cites work: Q3058982 / rank @@
+Normal rank
@@ Property / cites work @@
+Untersuchungen über das logische Schliessen. I
@@ Property / cites work: Untersuchungen über das logische Schliessen. I / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+The liar paradox and fuzzy logic
@@ Property / cites work: The liar paradox and fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Validity as a primitive
@@ Property / cites work: Validity as a primitive / 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 @@
+Solution to the <i>P</i> − <i>W</i> problem
@@ Property / cites work: Solution to the <i>P</i> − <i>W</i> problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198728
@@ Property / cites work: Q4198728 / rank @@
+Normal rank
@@ Property / cites work @@
+Substructural logics: a primer
@@ Property / cites work: Substructural logics: a primer / rank @@
+Normal rank
@@ Property / cites work @@
+Sense, entailment and modus ponens
@@ Property / cites work: Sense, entailment and modus ponens / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992933
@@ Property / cites work: Q3992933 / rank @@
+Normal rank
@@ Property / cites work @@
+Subintuitionistic logics
@@ Property / cites work: Subintuitionistic logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4805593
@@ Property / cites work: Q4805593 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5483305
@@ Property / cites work: Q5483305 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic and the modalities in the twentieth century
@@ Property / cites work: Logic and the modalities in the twentieth century / rank @@
+Normal rank
@@ Property / cites work @@
+CONSERVATIVELY EXTENDING CLASSICAL LOGIC WITH TRANSPARENT TRUTH
+Normal rank
@@ Property / cites work @@
+Q3701398
@@ Property / cites work: Q3701398 / rank @@
+Normal rank
@@ Property / cites work @@
+Basic logic: reflection, symmetry, visibility
@@ Property / cites work: Basic logic: reflection, symmetry, visibility / rank @@
+Normal rank
@@ Property / cites work @@
+Schlussweisen-Kalküle der Prädikatenlogik
@@ Property / cites work: Schlussweisen-Kalküle der Prädikatenlogik / 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