Truth-value semantics and functional extensions for classical logic of partial terms based on equality (Q740205): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2077954219
@@ Property / OpenAlex ID: W2077954219 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.6331
@@ Property / arXiv ID: 1112.6331 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantic holism
@@ Property / cites work: Semantic holism / rank @@
+Normal rank
@@ Property / cites work @@
+The consistency of arithmetics
@@ Property / cites work: The consistency of arithmetics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5610986
@@ Property / cites work: Q5610986 / rank @@
+Normal rank
@@ Property / cites work @@
+In Memoriam: Hugues Leblanc March 19, 1924–September 10, 1999
+Normal rank
@@ Property / cites work @@
+Truth-value semantics for a logic of existence
@@ Property / cites work: Truth-value semantics for a logic of existence / rank @@
+Normal rank
@@ Property / cites work @@
+Q4117804
@@ Property / cites work: Q4117804 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4789454
@@ Property / cites work: Q4789454 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank