Highly Influential

4 Excerpts

@inproceedings{Fuentes2015TheFE, title={The Finite Embeddability Property for some noncommutative knotted varieties of RL and DRL}, author={Cardona Fuentes and S Riquelmi}, year={2015} }

- Published 2015

Residuated lattices, although originally considered in the realm of algebra providing a general setting for studying ideals in ring theory [35], were later shown to form algebraic models for substructural logics; see [11] for a detailed account. 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 FL. We… CONTINUE READING