The FEP for some varieties of fully distributive knotted residuated lattices
type: Item
instance of: scholarly article
title: The FEP for some varieties of fully distributive knotted residuated lattices
zbMATH Open document ID: 1420.06023
author: Riquelmi Cardona
author: Nikolaos Galatos
published in: Algebra Universalis
publication date: 2017-12-21T00:00:00Z
Mathematics Subject Classification ID: 06F05
Mathematics Subject Classification ID: 06B20
Mathematics Subject Classification ID: 03B47
Mathematics Subject Classification ID: 03G10
zbMATH DE Number: 6821016
zbMATH Keywords: substructural logic
zbMATH Keywords: fully distributive knotted residuated lattice
zbMATH Keywords: decidability
zbMATH Keywords: finite embeddability property
zbMATH Keywords: well quasi order
zbMATH Keywords: better quasi order
MaRDI profile type: Publication
full work available at URL: s00012-017-0466-8
OpenAlex ID: W2765188020
cites work: On the finite embeddability property for residuated lattices, pocrims and BCK-algebras
cites work: The finite embeddability property for residuated lattices, pocrims and BCK-algebras.
cites work: On the finite embeddability property for residuated ordered groupoids
cites work: The finite embeddability property for noncommutative knotted extensions of RL
cites work: Cayley's and Holland's theorems for idempotent semirings and their applications to residuated lattices
cites work: Residuated frames with applications to decidability
cites work: Distributive residuated frames and generalized bunched implication algebras
cites work: Residuated lattices. An algebraic glimpse at substructural logics
cites work: Ordering by Divisibility in Abstract Algebras
cites work: Word problem for knotted residuated lattices.
cites work: A note on well quasi-orderings for powersets
cites work: Fine analysis of the quasi-orderings on the power set
cites work: Q5734436
cites work: Q5520569
cites work: Partial well‐ordering of sets of vectors
cites work: The finite model property for knotted extensions of propositional linear logic
DOI: 10.1007/S00012-017-0466-8
Recommended article: Knots in lattice homology
Recommended article: Q5687010
Recommended article: Knot lattice homology in \(L\)-spaces
Recommended article: Lattices, \(\ell _2\)-Betti numbers, deficiency, and knot groups
Recommended article: A cube of resolutions for knot Floer homology
Recommended article: Q5389299
Recommended article: A lattice of finite-type invariants of virtual knots
Recommended article: Q5693612
Recommended article: The knot Floer cube of resolutions and the composition product
Recommended article: Distributive lattices, polyhedra, and generalized flows
description: scientific article; zbMATH DE number 6821016