Antirealism, Meaning and Truth-Conditional Semantics (Q2908760): Difference between revisions

@@ Property / cites work @@
+Don't eliminate cut
@@ Property / cites work: Don't eliminate cut / rank @@
+Normal rank
@@ Property / cites work @@
+On sequence-conclusion natural deduction systems
@@ Property / cites work: On sequence-conclusion natural deduction systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4856189
@@ Property / cites work: Q4856189 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5610986
@@ Property / cites work: Q5610986 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2768759
@@ Property / cites work: Q2768759 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+Meaning and proofs: on the conflict between classical and intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Harmony and autonomy in classical logic
@@ Property / cites work: Harmony and autonomy in classical logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3885746
@@ Property / cites work: Q3885746 / rank @@
+Normal rank