Modal MTL-algebras (Q2445422): Difference between revisions

@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4893133
@@ Property / cites work: Q4893133 / rank @@
+Normal rank
@@ Property / cites work @@
+Storage Operators and Multiplicative Quantifiers in Many-valued Logics
+Normal rank
@@ Property / cites work @@
+Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions
+Normal rank
@@ Property / cites work @@
+Normal modal substructural logics with strong negation
+Normal rank
@@ Property / cites work @@
+Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
+Normal rank
@@ Property / cites work @@
+Residuated lattices. An algebraic glimpse at substructural logics
+Normal rank
@@ Property / cites work @@
+Q4081211
@@ Property / cites work: Q4081211 / rank @@
+Normal rank
@@ Property / cites work @@
+On the canonicity of Sahlqvist identities
@@ Property / cites work: On the canonicity of Sahlqvist identities / rank @@
+Normal rank
@@ Property / cites work @@
+The preservation of Sahlqvist equations in completions of Boolean algebras with operators
+Normal rank
@@ Property / cites work @@
+Preservation theorems for MTL-chains
@@ Property / cites work: Preservation theorems for MTL-chains / rank @@
+Normal rank
@@ Property / cites work @@
+Completion and finite embeddability property for residuated ordered algebras.
+Normal rank
@@ Property / cites work @@
+Ideals in universal algebras
@@ Property / cites work: Ideals in universal algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q3934450
@@ Property / cites work: Q3934450 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4530231
@@ Property / cites work: Q4530231 / rank @@
+Normal rank
@@ Property / cites work @@
+MacNeille completions of lattice expansions
@@ Property / cites work: MacNeille completions of lattice expansions / rank @@
+Normal rank
@@ Property / cites work @@
+The finite embeddability property for residuated lattices, pocrims and BCK-algebras.
+Normal rank
@@ Property / cites work @@
+Some Connections between Residual Finiteness, Finite Embeddability and the Word Problem
+Normal rank
@@ Property / cites work @@
+Ordering by Divisibility in Abstract Algebras
@@ Property / cites work: Ordering by Divisibility in Abstract Algebras / rank @@
+Normal rank