Mostrar el registro sencillo del ítem
dc.contributor.author
Menni, Matías
dc.contributor.author
Smith, Clara
dc.date.available
2019-05-21T21:32:51Z
dc.date.issued
2014-06
dc.identifier.citation
Menni, Matías; Smith, Clara; Modes of Adjointness; Kluwer Academic Publishers; Journal of Philosophical Logic; 43; 2-3; 6-2014; 365-391
dc.identifier.issn
0022-3611
dc.identifier.uri
http://hdl.handle.net/11336/76821
dc.description.abstract
The fact that many modal operators are part of an adjunction is probably folklore since the discovery of adjunctions. On the other hand, the natural idea of a minimal propositional calculus extended with a pair of adjoint operators seems to have been formulated only very recently. This recent research, mainly motivated by applications in computer science, concentrates on technical issues related to the calculi and not on the significance of adjunctions in modal logic. It then seems a worthy enterprise (both for these contemporary topical pursuits and also for historical interest) to trace the concept of adjunction back to the origins of the algebraic semantics of modal logic and to make explicit its ubiquity in this branch of mathematics.
dc.format
application/pdf
dc.language.iso
eng
dc.publisher
Kluwer Academic Publishers
dc.rights
info:eu-repo/semantics/openAccess
dc.rights.uri
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
dc.subject
Adjoint Functors
dc.subject
Modal Logic
dc.subject.classification
Matemática Pura
dc.subject.classification
Matemáticas
dc.subject.classification
CIENCIAS NATURALES Y EXACTAS
dc.title
Modes of Adjointness
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
2019-05-14T18:15:37Z
dc.identifier.eissn
1573-0433
dc.journal.volume
43
dc.journal.number
2-3
dc.journal.pagination
365-391
dc.journal.pais
Alemania
dc.journal.ciudad
Dordrecht
dc.description.fil
Fil: Menni, Matías. 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 Informática. Laboratorio de Investigación y Formación en Informática Avanzada; Argentina
dc.description.fil
Fil: Smith, Clara. Universidad Nacional de La Plata. Facultad de Ciencias Jurídicas y Sociales; Argentina. Universidad Católica de La Plata; Argentina
dc.journal.title
Journal of Philosophical Logic
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/url/http://link.springer.com/article/10.1007%2Fs10992-012-9266-y
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1007/s10992-012-9266-y
Archivos asociados