Regular elements and Kolmogorov translation in residuated lattices
| Autor: | Antoni Torrens, J. Patricio Díaz Varela, Diego Nicolás Castaño |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2015 |
| Předmět: |
Algebra and Number Theory
Kolmogorov translation Matemáticas Translation (geometry) Glivenko varietes Matemática Pura Algebra Computer Science::Logic in Computer Science Bounded function Residuated lattice Variety (universal algebra) Algebra over a field Commutative property Residuated lattices Axiom Regular elements CIENCIAS NATURALES Y EXACTAS Mathematics |
| DOI: | 10.1007/s00012-014-0311-2 |
| Popis: | In this article we study in detail the regular elements of a bounded, commutative and integral residuated lattice. We introduce the notion of a regular variety and explore its relationship with the Kolmogorov negative translation. In addition, we investigate the corresponding notions in the axiomatic extensions of the Full Lambek calculus with exchange and weakening. Fil: Castaño, Diego Nicolás. Universidad Nacional del Sur. Departamento de Matemática; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Bahía Blanca. Instituto de Matemática Bahía Blanca (i); Argentina Fil: Díaz Varela, José Patricio. Universidad Nacional del Sur. Departamento de Matemática; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Bahía Blanca. Instituto de Matemática Bahía Blanca (i); Argentina Fil: Torrens, Antoni. Universidad de Barcelona; España |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|