A mechanization of strong Kleene logic for partial functions (Q5210785): Difference between revisions

@@ Property / cites work @@
+A Linear Format for Resolution With Merging and a New Technique for Establishing Completeness
+Normal rank
@@ Property / cites work @@
+Q4255505
@@ Property / cites work: Q4255505 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3142560
@@ Property / cites work: Q3142560 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4255513
@@ Property / cites work: Q4255513 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3679172
@@ Property / cites work: Q3679172 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012975
@@ Property / cites work: Q4012975 / rank @@
+Normal rank
@@ Property / cites work @@
+A more expressive formulation of many sorted logic
+Normal rank
@@ Property / cites work @@
+A partial functions version of Church's simple theory of types
+Normal rank
@@ Property / cites work @@
+IMPS: An interactive mathematical proof system
@@ Property / cites work: IMPS: An interactive mathematical proof system / rank @@
+Normal rank
@@ Property / cites work @@
+The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning
+Normal rank
@@ Property / cites work @@
+Q4289327
@@ Property / cites work: Q4289327 / rank @@
+Normal rank
@@ Property / cites work @@
+A mechanization of strong Kleene logic for partial functions
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness theorems for some presupposition-free logics
+Normal rank
@@ Property / cites work @@
+A first order logic for partial functions
@@ Property / cites work: A first order logic for partial functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q5624683
@@ Property / cites work: Q5624683 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational aspects of an order-sorted logic with term declarations
+Normal rank
@@ Property / cites work @@
+Q5556399
@@ Property / cites work: Q5556399 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3949031
@@ Property / cites work: Q3949031 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992821
@@ Property / cites work: Q3992821 / rank @@
+Normal rank