Extensional Logic of Hyperintensions (Q3224007): Difference between revisions

@@ Property / cites work @@
+Alonzo Church's Contributions to Philosophy and Intensional Logic
+Normal rank
@@ Property / cites work @@
+Q5791196
@@ Property / cites work: Q5791196 / 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 @@
+Hyperintensional logic
@@ Property / cites work: Hyperintensional logic / rank @@
+Normal rank
@@ Property / cites work @@
+The paradox of inference and the non-triviality of analytic information
+Normal rank
@@ Property / cites work @@
+Procedural semantics for hyperintensional logic. Foundations and applications of transparent intensional logic
+Normal rank
@@ Property / cites work @@
+Q5199098
@@ Property / cites work: Q5199098 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4866981
@@ Property / cites work: Q4866981 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4547849
@@ Property / cites work: Q4547849 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5339289
@@ Property / cites work: Q5339289 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281260
@@ Property / cites work: Q4281260 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778806
@@ Property / cites work: Q2778806 / rank @@
+Normal rank
@@ Property / cites work @@
+Call-by-name, call-by-value and the \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Intension in terms of Turing machines
@@ Property / cites work: Intension in terms of Turing machines / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992728
@@ Property / cites work: Q3992728 / rank @@
+Normal rank