NAIVE TRUTH AND NAIVE LOGICAL PROPERTIES (Q2940880): Difference between revisions

@@ Property / cites work @@
+Naive \textit{modus ponens}
@@ Property / cites work: Naive \textit{modus ponens} / rank @@
+Normal rank
@@ Property / cites work @@
+Q3058982
@@ Property / cites work: Q3058982 / 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 @@
+A model of tolerance
@@ Property / cites work: A model of tolerance / rank @@
+Normal rank
@@ Property / cites work @@
+Simple consequence relations
@@ Property / cites work: Simple consequence relations / rank @@
+Normal rank
@@ Property / cites work @@
+The semantics and proof theory of linear logic
@@ Property / cites work: The semantics and proof theory of linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4063404
@@ Property / cites work: Q4063404 / rank @@
+Normal rank
@@ Property / cites work @@
+CONSERVATIVELY EXTENDING CLASSICAL LOGIC WITH TRANSPARENT TRUTH
+Normal rank
@@ Property / cites work @@
+Q4440463
@@ Property / cites work: Q4440463 / rank @@
+Normal rank
@@ Property / cites work @@
+Analytic natural deduction
@@ Property / cites work: Analytic natural deduction / 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 @@
+A paradox regained
@@ Property / cites work: A paradox regained / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845457
@@ Property / cites work: Q4845457 / rank @@
+Normal rank
@@ Property / cites work @@
+Unifying the philosophy of truth
@@ Property / cites work: Unifying the philosophy of truth / rank @@
+Normal rank