Modes of Adjointness.
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 resear...
| Publicado en: | Journal of Philosophical Logic Vol. 43; no. 2/3; pp. 365 - 392 |
|---|---|
| Autores principales: | , |
| Formato: | Artículo |
| Publicado: |
Springer Nature
Jun2014
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=96562802&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 96562802 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00223611 JPH jtl: Journal of Philosophical Logic issn: 00223611 maglogo: N pubinfo: dt: Jun2014 vid: 43 iid: 2/3 pid: 237 pub: Springer Nature artinfo: ui: 96562802 10.1007/s10992-012-9266-y ppf: 365 ppct: 27 formats: fmt: @attributes: type: P size: 630KB tig: atl: Modes of Adjointness. aug: au: Menni, M. Smith, C. affil: Conicet and Depto. de Matemática, Universidad Nacional de La Plata, 50 y 115 s/n 1900 La Plata Argentina su: Adjunction theory Folklore Operator theory Mathematics Computer science Propositional calculus sug: subj: Adjunction theory Folklore Operator theory Mathematics Computer science Propositional calculus keyword: Adjoint functors Modal logic ab: 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. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y custom: Journal of Philosophical Logic is a copyright of Springer, 2014. All Rights Reserved. item: Journal of Philosophical Logic holder: Springer Nature dt: @attributes: year: 2014 holdings: @attributes: islocal: N |
|---|