1 resultado para Varieties

em Digital Commons @ DU | University of Denver Research


Relevância:

20.00% 20.00%

Publicador:

Resumo:

Residuated lattices, although originally considered in the realm of algebra providing a general setting for studying ideals in ring theory, were later shown to form algebraic models for substructural logics. The latter are non-classical logics that include intuitionistic, relevance, many-valued, and linear logic, among others. Most of the important examples of substructural logics are obtained by adding structural rules to the basic logical calculus