If structured propositions are logical procedures then how are procedures individuated? (Q2052189): Difference between revisions

@@ Property / DOI @@
-.1007/s11229-017-1595-5
@@ Property / DOI: 10.1007/s11229-017-1595-5 / rank @@
-Normal rank
@@ Property / cites work @@
+Alonzo Church's Contributions to Philosophy and Intensional Logic
+Normal rank
@@ Property / cites work @@
+The Impact of the Lambda Calculus in Logic and Computer Science
+Normal rank
@@ Property / cites work @@
+Q5791196
@@ Property / cites work: Q5791196 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3235339
@@ Property / cites work: Q3235339 / rank @@
+Normal rank
@@ Property / cites work @@
+A Revised Formulation of the Logic of Sense and Denotation. Alternative (1)
+Normal rank
@@ Property / cites work @@
+Q4792706
@@ Property / cites work: Q4792706 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4608337
@@ Property / cites work: Q4608337 / rank @@
+Normal rank
@@ Property / cites work @@
+The paradox of inference and the non-triviality of analytic information
+Normal rank
@@ Property / cites work @@
+Extensional Logic of Hyperintensions
@@ Property / cites work: Extensional Logic of Hyperintensions / rank @@
+Normal rank
@@ Property / cites work @@
+Procedural isomorphism, analytic information and  -conversion by value
+Normal rank
@@ Property / cites work @@
+Transparent quantification into hyperintensional objectual attitudes
+Normal rank
@@ Property / cites work @@
+Q3060316
@@ Property / cites work: Q3060316 / rank @@
+Normal rank
@@ Property / cites work @@
+Procedural semantics for hyperintensional logic. Foundations and applications of transparent intensional logic
+Normal rank
@@ Property / cites work @@
+Q5365490
@@ Property / cites work: Q5365490 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5224881
@@ Property / cites work: Q5224881 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4230685
@@ Property / cites work: Q4230685 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4982403
@@ Property / cites work: Q4982403 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5695960
@@ Property / cites work: Q5695960 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281260
@@ Property / cites work: Q4281260 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic, meaning and computation. Essays in memory of Alonzo Church
+Normal rank
@@ Property / cites work @@
+Q3992728
@@ Property / cites work: Q3992728 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2702582
@@ Property / cites work: Q2702582 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S11229-017-1595-5
@@ Property / DOI: 10.1007/S11229-017-1595-5 / rank @@
+Normal rank