Conservativeness and Eliminability for Anti-Realistic Definitions (Q2908762): Difference between revisions

@@ Property / cites work @@
+Q4039813
@@ Property / cites work: Q4039813 / rank @@
+Normal rank
@@ Property / cites work @@
+What is Logic?
@@ Property / cites work: What is Logic? / rank @@
+Normal rank
@@ Property / cites work @@
+Quine and Slater on paraconsistency and deviance
@@ Property / cites work: Quine and Slater on paraconsistency and deviance / rank @@
+Normal rank
@@ Property / cites work @@
+A CUT-FREE SIMPLE SEQUENT CALCULUS FOR MODAL LOGIC S5
+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 @@
+Q4716271
@@ Property / cites work: Q4716271 / rank @@
+Normal rank
@@ Property / cites work @@
+The idea of a proof-theoretic semantics and the meaning of the logical operations
+Normal rank