Classical Logic with Partial Functions (Q5747762): Difference between revisions

@@ Property / cites work @@
+Q2848053
@@ Property / cites work: Q2848053 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient Well-Definedness Checking
@@ Property / cites work: Efficient Well-Definedness Checking / rank @@
+Normal rank
@@ Property / cites work @@
+Geometric Resolution: A Proof Procedure Based on Finite Model Search
+Normal rank
@@ Property / cites work @@
+A set theory with support for partial functions
@@ Property / cites work: A set theory with support for partial functions / rank @@
+Normal rank
@@ Property / cites work @@
+Many-Valued Logic, Partiality, and Abstraction in Formal Specification Languages
+Normal rank
@@ Property / cites work @@
+A mechanization of strong Kleene logic for partial functions
+Normal rank