The FEP for some varieties of fully distributive knotted residuated lattices (Q1686329): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00012-017-0466-8
+Normal rank
@@ Property / OpenAlex ID @@
+W2765188020
@@ Property / OpenAlex ID: W2765188020 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2752417
@@ Property / cites work: Q2752417 / rank @@
+Normal rank
@@ Property / cites work @@
+The finite embeddability property for residuated lattices, pocrims and BCK-algebras.
+Normal rank
@@ Property / cites work @@
+On the finite embeddability property for residuated ordered groupoids
+Normal rank
@@ Property / cites work @@
+The finite embeddability property for noncommutative knotted extensions of RL
+Normal rank
@@ Property / cites work @@
+Cayley's and Holland's theorems for idempotent semirings and their applications to residuated lattices
+Normal rank
@@ Property / cites work @@
+Residuated frames with applications to decidability
+Normal rank
@@ Property / cites work @@
+Distributive residuated frames and generalized bunched implication algebras
+Normal rank
@@ Property / cites work @@
+Residuated lattices. An algebraic glimpse at substructural logics
+Normal rank
@@ Property / cites work @@
+Ordering by Divisibility in Abstract Algebras
@@ Property / cites work: Ordering by Divisibility in Abstract Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Word problem for knotted residuated lattices.
@@ Property / cites work: Word problem for knotted residuated lattices. / rank @@
+Normal rank
@@ Property / cites work @@
+A note on well quasi-orderings for powersets
@@ Property / cites work: A note on well quasi-orderings for powersets / rank @@
+Normal rank
@@ Property / cites work @@
+Fine analysis of the quasi-orderings on the power set
+Normal rank
@@ Property / cites work @@
+Q5734436
@@ Property / cites work: Q5734436 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5520569
@@ Property / cites work: Q5520569 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial well‐ordering of sets of vectors
@@ Property / cites work: Partial well‐ordering of sets of vectors / rank @@
+Normal rank
@@ Property / cites work @@
+The finite model property for knotted extensions of propositional linear logic
+Normal rank