An expansion of basic logic with fixed points (Q1699729): 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 @@
+Algebraic foundations of many-valued reasoning
@@ Property / cites work: Algebraic foundations of many-valued reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q2871198
@@ Property / cites work: Q2871198 / rank @@
+Normal rank
@@ Property / cites work @@
+Fixed Point Logics
@@ Property / cites work: Fixed Point Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Representation and reticulation by quotients of MV-algebras
+Normal rank
@@ Property / cites work @@
+Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+On very true
@@ Property / cites work: On very true / rank @@
+Normal rank
@@ Property / cites work @@
+A proof of standard completeness for Esteva and Godo's logic MTL
+Normal rank
@@ Property / cites work @@
+Results on the propositional \(\mu\)-calculus
@@ Property / cites work: Results on the propositional \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Advances in the theory of  L  algebras
@@ Property / cites work: Advances in the theory of L algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Upper-Expectation Bisimilarity and Łukasiewicz μ-Calculus
+Normal rank
@@ Property / cites work @@
+Q4992900
@@ Property / cites work: Q4992900 / rank @@
+Normal rank
@@ Property / cites work @@
+Storage Operators and Multiplicative Quantifiers in Many-valued Logics
+Normal rank
@@ Property / cites work @@
+Notes on Strong Completeness in Łukasiewicz, Product and BL Logics and in Their First-Order Extensions
+Normal rank
@@ Property / cites work @@
+Completeness for flat modal fixpoint logics
@@ Property / cites work: Completeness for flat modal fixpoint logics / rank @@
+Normal rank
@@ Property / cites work @@
+Ł\(\Pi\) logic with fixed points
@@ Property / cites work: Ł\(\Pi\) logic with fixed points / rank @@
+Normal rank
@@ Property / cites work @@
+\(\mu \)MV-algebras: An approach to fixed points in Łukasiewicz logic
+Normal rank