Standard completeness of Hájek basic logic and decompositions of BL-chains (Q816859): Difference between revisions

@@ Property / cites work @@
+Varieties of BL-algebras. I: General properties.
@@ Property / cites work: Varieties of BL-algebras. I: General properties. / rank @@
+Normal rank
@@ Property / cites work @@
+On the structure of hoops
@@ Property / cites work: On the structure of hoops / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraizable logics
@@ Property / cites work: Algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Free algebras in varieties of BL-algebras generated by a BL<sub><i>n</i></sub>-chain
+Normal rank
@@ Property / cites work @@
+Q4542633
@@ Property / cites work: Q4542633 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4512929
@@ Property / cites work: Q4512929 / rank @@
+Normal rank
@@ Property / cites work @@
+Free algebras in varieties of BL-algebras with a Boolean retract.
+Normal rank
@@ Property / cites work @@
+Hájek basic fuzzy logic and Łukasiewicz infinite-valued logic
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+A complete many-valued logic with product-conjunction
+Normal rank
@@ Property / cites work @@
+Generating the variety of BL-algebras
@@ Property / cites work: Generating the variety of BL-algebras / rank @@
+Normal rank
@@ Property / cites work @@
+On the structure of semi-groups on a compact manifold with boundary
+Normal rank