Add to ORKGWe show that the variety of residuated lattices is generated by its finite simple members, improving upon a finite model property result of Okada and Terui. The reasoning is a blend of proof-theoretic and algebraic arguments
A residuated lattice is an algebra of the form A = (A,∧,∨, ·, \, /, 1) where (A,∧,∨) is a lattice, (...
In this paper, the notions of distributive, standard and neutral elements in residuated lattices wer...
This is an introductory survey of substructural logics and of residuated lattices which are algebrai...
A variety V of residuated lattices has the finite embeddability property (shortly FEP) if every fini...
Abstract. Residuation is a fundamental concept of ordered structures and categories. In this survey ...
Residuation is a fundamental concept of ordered structures and categories. In this survey we conside...
The theory of residuated lattices, first proposed by Ward and Dil-worth [4], is formalised in Isabel...
The book is meant to serve two purposes. The first and more obvious one is to present state of the a...
A residuated lattice is an ordered algebraic structure L = 〈L,∧,∨, · , e, \ , / 〉 such that 〈L,∧,...
Abstract. Using a method of R. McKenzie, we construct a finitely generated semisimple variety of inf...
We study (strictly) join irreducible varieties in the lattice of subvarieties of residuated lattices...
We present a number of results related to the decidability and undecidability of various varieties o...
The amalgamation property (AP) is of particular interest in the study of residuated lattices due to ...
Residuated lattices form the basis of certain kinds of logical interpretations. Also, complete commu...
summary:We investigate some (universal algebraic) properties of residuated lattices—algebras which p...
A residuated lattice is an algebra of the form A = (A,∧,∨, ·, \, /, 1) where (A,∧,∨) is a lattice, (...
In this paper, the notions of distributive, standard and neutral elements in residuated lattices wer...
This is an introductory survey of substructural logics and of residuated lattices which are algebrai...
A variety V of residuated lattices has the finite embeddability property (shortly FEP) if every fini...
Abstract. Residuation is a fundamental concept of ordered structures and categories. In this survey ...
Residuation is a fundamental concept of ordered structures and categories. In this survey we conside...
The theory of residuated lattices, first proposed by Ward and Dil-worth [4], is formalised in Isabel...
The book is meant to serve two purposes. The first and more obvious one is to present state of the a...
A residuated lattice is an ordered algebraic structure L = 〈L,∧,∨, · , e, \ , / 〉 such that 〈L,∧,...
Abstract. Using a method of R. McKenzie, we construct a finitely generated semisimple variety of inf...
We study (strictly) join irreducible varieties in the lattice of subvarieties of residuated lattices...
We present a number of results related to the decidability and undecidability of various varieties o...
The amalgamation property (AP) is of particular interest in the study of residuated lattices due to ...
Residuated lattices form the basis of certain kinds of logical interpretations. Also, complete commu...
summary:We investigate some (universal algebraic) properties of residuated lattices—algebras which p...
A residuated lattice is an algebra of the form A = (A,∧,∨, ·, \, /, 1) where (A,∧,∨) is a lattice, (...
In this paper, the notions of distributive, standard and neutral elements in residuated lattices wer...
This is an introductory survey of substructural logics and of residuated lattices which are algebrai...