The strong completeness of a system based on Kleene's strong three-valued logic (Q1893137): Difference between revisions

@@ Property / cites work @@
+The Notion of Logical Consequence in the Logic of Inexact Predicates
+Normal rank
@@ Property / cites work @@
+The Strong Completeness of a System for Kleene's Three‐Valued Logic
+Normal rank
@@ Property / cites work @@
+Outline of a Theory of Truth
@@ Property / cites work: Outline of a Theory of Truth / rank @@
+Normal rank
@@ Property / cites work @@
+Abstraction and definability in semantically closed structures
+Normal rank
@@ Property / cites work @@
+Ungroundedness in classical languages
@@ Property / cites work: Ungroundedness in classical languages / rank @@
+Normal rank
@@ Property / cites work @@
+The Calculus of Partial Predicates and Its Extension to Set Theory I
+Normal rank