@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://www.numdam.org/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://www.numdam.org/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://www.numdam.org/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://www.numdam.org/item/CTGDC_1993__34_4_267_0/
1 Quantales, observational logic, and process semantics, Imperial College Research Report N° DC 90/1, 1990.
& ,2 Tree automata and enriched category theory, Rend. Istit. Mat. Univ. Trieste 17, n° 1-2 (1985), 71-78. | MR | Zbl
& ,3 Cartesian bicategories I, J. Pure. & Appl. Algebra 49 (1987), 1-32. | MR | Zbl
& ,4 Temporal structures, Math. Structures in Comp. Science 1, n° 2 (1991), 179-213. | MR | Zbl
, , & ,5 Modal and tense predicate logic: models in presheaves and categorical conceptualization, Lecture Notes in Math. 1348, Springer (1988), 130-142. | MR | Zbl
& ,6 Relational and topological semantics for temporal and modal predicative logic, Proc. of the SILFS Conf. 1990.
& ,7 On homomorphisms, correctness, termination, unfoldments and equivalence of flow diagram programs, J. Comp. Syst. Science 8 (1974), 333-365. | MR | Zbl
,8 A categorical manifesto, Math. Structures in Comp. Science 1, n° 1 (1991), 49-67. | MR | Zbl
,9 An extension of the Galois theory of Grothendieck, AMS Memoirs 309, 1984. | MR | Zbl
& ,10 Metric spaces, generalized logic, and closed categories, Rend. Sem. Mat. e Fis. Milano (1973), 135-166. | MR | Zbl
,11 Applications of sup-lattice enriched category theory to sheaf theory, Proc. London Math. Soc. 57-3 (1988), 433-480. | MR | Zbl
,12 Bi-Heyting algebras, topos and modalities, Rapport de Rech., D.M.S. N° 91-9, Univ. Montréal 1991.
& ,13 Research Notes in Math. 234, Longman 1990. | MR | Zbl
and14 Free quantaloids, J. Pure & Appl. Algebra 72 (1991), 67-82. | MR | Zbl
,15 Girard quantaloids, Math. Structures in Comp. Science 2 N°1 (1992), 93-108. | MR | Zbl
,16 Quantaloidal nuclei, the syntactic congruence and tree automata, J. Pure & Appl. Algebra 77 (1992), 189-205. | MR | Zbl
,17 The theory of quantaloids (in preparation). | Zbl
,