Decidable and undecidable prime theories in infinite-valued logic (Q5935996): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4039742
@@ Property / cites work: Q4039742 / rank @@
+Normal rank
@@ Property / cites work @@
+Groupes et anneaux reticules
@@ Property / cites work: Groupes et anneaux reticules / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic Analysis of Many Valued Logics
@@ Property / cites work: Algebraic Analysis of Many Valued Logics / rank @@
+Normal rank
@@ Property / cites work @@
+A New Proof of the Completeness of the Lukasiewicz Axioms
+Normal rank
@@ Property / cites work @@
+Q5687941
@@ Property / cites work: Q5687941 / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to Toric Varieties. (AM-131)
@@ Property / cites work: Introduction to Toric Varieties. (AM-131) / rank @@
+Normal rank
@@ Property / cites work @@
+Super-Łukasiewicz propositional logics
@@ Property / cites work: Super-Łukasiewicz propositional logics / rank @@
+Normal rank
@@ Property / cites work @@
+Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
+Normal rank
@@ Property / cites work @@
+A constructive proof of McNaughton's theorem in infinite-valued logic
+Normal rank
@@ Property / cites work @@
+Q4039830
@@ Property / cites work: Q4039830 / rank @@
+Normal rank
@@ Property / cites work @@
+A geometric proof of the completeness of the Łukasiewicz calculus
+Normal rank
@@ Property / cites work @@
+Prime ideals in free \(\ell\)-groups and free vector lattices
+Normal rank
@@ Property / cites work @@
+Varieties of MV-algebras
@@ Property / cites work: Varieties of MV-algebras / rank @@
+Normal rank