A note on categories enriched in quantaloids and modal and temporal logic
Rosenthal, Kimmo I.
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 34 (1993), p. 267-277 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1993-01-01
@article{CTGDC_1993__34_4_267_0,
     author = {Rosenthal, Kimmo I.},
     title = {A note on categories enriched in quantaloids and modal and temporal logic},
     journal = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques},
     volume = {34},
     year = {1993},
     pages = {267-277},
     mrnumber = {1253171},
     zbl = {0791.18007},
     language = {en},
     url = {http://dml.mathdoc.fr/item/CTGDC_1993__34_4_267_0}
}

Rosenthal, Kimmo I. A note on categories enriched in quantaloids and modal and temporal logic. Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 34 (1993) pp. 267-277. http://gdmltest.u-ga.fr/item/CTGDC_1993__34_4_267_0/

1 S. Abramsky & S. Vickers, Quantales, observational logic, and process semantics, Imperial College Research Report N° DC 90/1, 1990.

2 R. Betti & S. Kasangian, Tree automata and enriched category theory, Rend. Istit. Mat. Univ. Trieste 17, n° 1-2 (1985), 71-78. | MR 863557 | Zbl 0614.68045

3 A. Carboni& R.F.C. Walters, Cartesian bicategories I, J. Pure. & Appl. Algebra 49 (1987), 1-32. | MR 920513 | Zbl 0637.18003

4 R. Casley, R. Crow, J. Meseguer& V. Pratt, Temporal structures, Math. Structures in Comp. Science 1, n° 2 (1991), 179-213. | MR 1132147 | Zbl 0756.18006

5 S. Ghilardi & G.C. Meloni, Modal and tense predicate logic: models in presheaves and categorical conceptualization, Lecture Notes in Math. 1348, Springer (1988), 130-142. | MR 975966 | Zbl 0657.03008

6 S. Ghilardi & G.C. Meloni, Relational and topological semantics for temporal and modal predicative logic, Proc. of the SILFS Conf. 1990.

7 J. Goguen, On homomorphisms, correctness, termination, unfoldments and equivalence of flow diagram programs, J. Comp. Syst. Science 8 (1974), 333-365. | MR 373358 | Zbl 0285.68010

8 J. Goguen, A categorical manifesto, Math. Structures in Comp. Science 1, n° 1 (1991), 49-67. | MR 1108804 | Zbl 0747.18001

9 A. Joyal & M. Tierney, An extension of the Galois theory of Grothendieck, AMS Memoirs 309, 1984. | MR 756176 | Zbl 0541.18002

10 F.W. Lawvere, Metric spaces, generalized logic, and closed categories, Rend. Sem. Mat. e Fis. Milano (1973), 135-166. | MR 352214 | Zbl 0335.18006

11 A. Pitts, Applications of sup-lattice enriched category theory to sheaf theory, Proc. London Math. Soc. 57-3 (1988), 433-480. | MR 960096 | Zbl 0619.18005

12 G. Reyes& H. Zolfaghari, Bi-Heyting algebras, topos and modalities, Rapport de Rech., D.M.S. N° 91-9, Univ. Montréal 1991.

13 K.I. Rosenthal, Quantales and Their Applications, Pitman Research Notes in Math. 234, Longman 1990. | MR 1088258 | Zbl 0703.06007

14 K.I. Rosenthal, Free quantaloids, J. Pure & Appl. Algebra 72 (1991), 67-82. | MR 1115568 | Zbl 0729.18007

15 K.I. Rosenthal, Girard quantaloids, Math. Structures in Comp. Science 2 N°1 (1992), 93-108. | MR 1159501 | Zbl 0761.18008

16 K.I. Rosenthal, Quantaloidal nuclei, the syntactic congruence and tree automata, J. Pure & Appl. Algebra 77 (1992), 189-205. | MR 1149021 | Zbl 0761.18009

17 K.I. Rosenthal, The theory of quantaloids (in preparation). | Zbl 0845.18003