Geodesic
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) no. 4, pp. 267-277.

Voir la notice de l'article provenant de la source Numdam

@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},
     pages = {267--277},
     publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS},
     volume = {34},
     number = {4},
     year = {1993},
     mrnumber = {1253171},
     zbl = {0791.18007},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CTGDC_1993__34_4_267_0/}
}
TY  - JOUR
AU  - Rosenthal, Kimmo I.
TI  - A note on categories enriched in quantaloids and modal and temporal logic
JO  - Cahiers de Topologie et Géométrie Différentielle Catégoriques
PY  - 1993
SP  - 267
EP  - 277
VL  - 34
IS  - 4
PB  - Dunod éditeur, publié avec le concours du CNRS
UR  - http://geodesic.mathdoc.fr/item/CTGDC_1993__34_4_267_0/
LA  - en
ID  - CTGDC_1993__34_4_267_0
ER  - 
%0 Journal Article
%A Rosenthal, Kimmo I.
%T A note on categories enriched in quantaloids and modal and temporal logic
%J Cahiers de Topologie et Géométrie Différentielle Catégoriques
%D 1993
%P 267-277
%V 34
%N 4
%I Dunod éditeur, publié avec le concours du CNRS
%U http://geodesic.mathdoc.fr/item/CTGDC_1993__34_4_267_0/
%G en
%F 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) no. 4, pp. 267-277. http://geodesic.mathdoc.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. | Zbl | MR

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

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

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. | Zbl | MR

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. | Zbl | MR

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

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

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

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

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. | Zbl | MR

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

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

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

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