Mostrar el registro sencillo del ítem
dc.contributor.author
Castiglioni, José Luis
dc.contributor.author
Fernández, Víctor
dc.contributor.author
Mallea, Héctor Federico
dc.contributor.author
San Martín, Hernán Javier
dc.date.available
2024-01-22T12:06:03Z
dc.date.issued
2023-12
dc.identifier.citation
Castiglioni, José Luis; Fernández, Víctor; Mallea, Héctor Federico; San Martín, Hernán Javier; On subreducts of subresiduated lattices and some related logics; Oxford University Press; Journal of Logic and Computation; 12-2023; 1-36
dc.identifier.issn
0955-792X
dc.identifier.uri
http://hdl.handle.net/11336/224403
dc.description.abstract
Subresiduated lattices were introduced during the decade of 1970 by Epstein and Horn as an algebraic counterpart of some logics with strong implication previously studied by Lewy and Hacking. These logics are examples of subintuitionistic logics, i.e. logics in the language of intuitionistic logic that are defined semantically by using Kripke models, in the same way as intuitionistic logic is defined, but without requiring of the models some of the properties required in the intuitionistic case. Also in relation with the study of subintuitionistic logics, Celani and Jansana get these algebras as the elements of a subvariety of that of weak Heyting algebras. Here, we study both the implicative and the implicative-infimum subreducts of subresiduated lattices. Besides, we propose a calculus whose equivalent algebraic semantics is given by these classes of algebras. Several expansions of these calculi are also studied together with some interesting properties of them.
dc.format
application/pdf
dc.language.iso
eng
dc.publisher
Oxford University Press
dc.rights
info:eu-repo/semantics/restrictedAccess
dc.rights.uri
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
dc.subject
ALGEBRAIC LOGIC
dc.subject
LATTICE THEORY
dc.subject
SUBRESIDUATED LATTICES
dc.subject.classification
Matemática Pura
dc.subject.classification
Matemáticas
dc.subject.classification
CIENCIAS NATURALES Y EXACTAS
dc.title
On subreducts of subresiduated lattices and some related logics
dc.type
info:eu-repo/semantics/article
dc.type
info:ar-repo/semantics/artículo
dc.type
info:eu-repo/semantics/publishedVersion
dc.date.updated
2024-01-19T13:05:38Z
dc.journal.pagination
1-36
dc.journal.pais
Reino Unido
dc.description.fil
Fil: Castiglioni, José Luis. Universidad Nacional de La Plata. Facultad de Ciencias Exactas. Departamento de Matemáticas; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - La Plata; Argentina
dc.description.fil
Fil: Fernández, Víctor. Universidad Nacional de San Juan; Argentina
dc.description.fil
Fil: Mallea, Héctor Federico. Universidad Nacional de San Juan; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
dc.description.fil
Fil: San Martín, Hernán Javier. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - La Plata; Argentina. Universidad Nacional de La Plata. Facultad de Ciencias Exactas. Departamento de Matemáticas; Argentina
dc.journal.title
Journal of Logic and Computation
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1093/logcom/exad042
Archivos asociados