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

@@ Property / full work available at URL @@
+https://doi.org/10.1305/ndjfl/1040511343
+Normal rank
@@ Property / OpenAlex ID @@
+W2037548896
@@ Property / OpenAlex ID: W2037548896 / rank @@
+Normal rank
@@ 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