A game-based formal system for Ł\(_\infty\) (Q754864): Difference between revisions

@@ Property / cites work @@
+Continuous Model Theory. (AM-58)
@@ Property / cites work: Continuous Model Theory. (AM-58) / rank @@
+Normal rank
@@ Property / cites work @@
+Łukasiewicz logic and fuzzy set theory
@@ Property / cites work: Łukasiewicz logic and fuzzy set theory / 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 @@
+Q5731773
@@ Property / cites work: Q5731773 / rank @@
+Normal rank
@@ Property / cites work @@
+Fragments of Many-Valued Statement Calculi
@@ Property / cites work: Fragments of Many-Valued Statement Calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Die nichtaxiomatisierbarkeit des unendlichwertigen Prädikatenkalküls von Łukasiewicz
+Normal rank
@@ Property / cites work @@
+Beiträge zum Metaaussagenkalkül I
@@ Property / cites work: Beiträge zum Metaaussagenkalkül I / rank @@
+Normal rank