Linear Logic and Lukasiewicz ℵ<sub>0</sub>- Valued Logic: A Logico-Algebraic Study (Q4443011): Difference between revisions

@@ Property / cites work @@
+Finiteness in infinite-valued Łukasiewicz logic
@@ Property / cites work: Finiteness in infinite-valued Łukasiewicz logic / rank @@
+Normal rank
@@ Property / cites work @@
+MV-algebras embedded in a CL-algebra
@@ Property / cites work: MV-algebras embedded in a CL-algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+A modal view of linear logic
@@ Property / cites work: A modal view of linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
+Normal rank
@@ Property / cites work @@
+Q4694214
@@ Property / cites work: Q4694214 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded contraction and Gentzen-style formulation of Łukasiewicz logics
+Normal rank
@@ Property / cites work @@
+Q4495851
@@ Property / cites work: Q4495851 / rank @@
+Normal rank