Add to ORKGThe theory of residuated lattices, first proposed by Ward and Dil-worth [4], is formalised in Isabelle/HOL. This includes concepts of residuated functions; their adjoints and conjugates. It also contains necessary and sufficient conditions for the existence of these operations in an arbitrary lattice. The mathematical components for residuated lattices are linked to the AFP entry for relation algebra. In particular, we prove Jónsson and Tsinakis [2] conditions for a residuated boolean algebra to form a relation algebra
This paper studies generalizations of relation algebras to residuated lattices with a unary De Morga...
This paper studies generalizations of relation algebras to residuated lattices with a unary De Morga...
This paper studies generalizations of relation algebras to residuated lattices with a unary De Morga...
The theory of residuated lattices, first proposed by Ward and Dil-worth [4], is formalised in Isabel...
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 aim of the present paper is to generalize the concept of residuated poset, by replacing the usua...
The aim of the present paper is to generalize the concept of residuated poset, by replacing the usua...
A residuated lattice is an ordered algebraic structure L = 〈L,∧,∨, · , e, \ , / 〉 such that 〈L,∧,...
In this paper, the notions of distributive, standard and neutral elements in residuated lattices wer...
The commutative residuated lattices were first introduced by M. Ward and R.P. Dilworth as generaliza...
This book is an introduction to residuated structures, viewed as a common thread binding together al...
Residuated algebras are a generalization of residuated groupoids; instead of one basic binary operat...
summary:We investigate some (universal algebraic) properties of residuated lattices—algebras which p...
This is an introductory survey of substructural logics and of residuated lattices which are algebrai...
This paper studies generalizations of relation algebras to residuated lattices with a unary De Morga...
This paper studies generalizations of relation algebras to residuated lattices with a unary De Morga...
This paper studies generalizations of relation algebras to residuated lattices with a unary De Morga...
The theory of residuated lattices, first proposed by Ward and Dil-worth [4], is formalised in Isabel...
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 aim of the present paper is to generalize the concept of residuated poset, by replacing the usua...
The aim of the present paper is to generalize the concept of residuated poset, by replacing the usua...
A residuated lattice is an ordered algebraic structure L = 〈L,∧,∨, · , e, \ , / 〉 such that 〈L,∧,...
In this paper, the notions of distributive, standard and neutral elements in residuated lattices wer...
The commutative residuated lattices were first introduced by M. Ward and R.P. Dilworth as generaliza...
This book is an introduction to residuated structures, viewed as a common thread binding together al...
Residuated algebras are a generalization of residuated groupoids; instead of one basic binary operat...
summary:We investigate some (universal algebraic) properties of residuated lattices—algebras which p...
This is an introductory survey of substructural logics and of residuated lattices which are algebrai...
This paper studies generalizations of relation algebras to residuated lattices with a unary De Morga...
This paper studies generalizations of relation algebras to residuated lattices with a unary De Morga...
This paper studies generalizations of relation algebras to residuated lattices with a unary De Morga...