Die Unentscheidbarkeit der einstelligen unendlichwertigen Prädikatenlogik (Q3315483): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Further results on infinite valued predicate logic
+Normal rank
@@ Property / cites work @@
+A weak completeness theorem for infinite valued first-order logic
+Normal rank
@@ Property / cites work @@
+On the Consistency of the Axiom of Comprehension in the Lukasiewicz Infinite Valued Logic.
+Normal rank
@@ Property / cites work @@
+Axiomatization of the infinite-valued predicate calculus
+Normal rank
@@ Property / cites work @@
+Q3290716
@@ Property / cites work: Q3290716 / rank @@
+Normal rank
@@ Property / cites work @@
+A theorem about infinite-valued sentential logic
@@ Property / cites work: A theorem about infinite-valued sentential logic / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatizability of some many valued predicate calculi
+Normal rank
@@ Property / cites work @@
+Q3663260
@@ Property / cites work: Q3663260 / rank @@
+Normal rank
@@ Property / cites work @@
+On the definition of an infinitely-many-valued predicate calculus
+Normal rank
@@ Property / cites work @@
+Die nichtaxiomatisierbarkeit des unendlichwertigen Prädikatenkalküls von Łukasiewicz
+Normal rank