The Different Ways in which Logic is (said to be) Formal (Q4914190): Difference between revisions

@@ Property / cites work @@
+Formalization and the objects of logic
@@ Property / cites work: Formalization and the objects of logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5802120
@@ Property / cites work: Q5802120 / rank @@
+Normal rank
@@ Property / cites work @@
+Buridan's<i>Consequentia</i>: Consequence and Inference Within a Token-Based Semantics
+Normal rank
@@ Property / cites work @@
+A note on formality and logical consequence
@@ Property / cites work: A note on formality and logical consequence / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2888505
@@ Property / cites work: Q2888505 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4324696
@@ Property / cites work: Q4324696 / rank @@
+Normal rank
@@ Property / cites work @@
+An Introduction to Gödel's Theorems
@@ Property / cites work: An Introduction to Gödel's Theorems / rank @@
+Normal rank
@@ Property / cites work @@
+Q5557870
@@ Property / cites work: Q5557870 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Concept of Following Logically
@@ Property / cites work: On the Concept of Following Logically / rank @@
+Normal rank
@@ Property / cites work @@
+What are logical notions?
@@ Property / cites work: What are logical notions? / rank @@
+Normal rank
@@ Property / cites work @@
+Q4414313
@@ Property / cites work: Q4414313 / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Approaches to Computational Barriers
@@ Property / cites work: Logical Approaches to Computational Barriers / rank @@
+Normal rank