The Finite Embeddability Property for some noncommutative knotted varieties of RL and DRL

@inproceedings{Fuentes2015TheFE,
  title={The Finite Embeddability Property for some noncommutative knotted varieties of RL and DRL},
  author={Cardona Fuentes and S Riquelmi},
  year={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

Figures and Tables from this paper.