关于量子类和模态逻辑与时序逻辑中丰富的范畴的注记

 访问全文

 完整（PDF）

1. 1 S.Abramsky和S.Vickers，Quantales，观测逻辑和过程语义学，帝国理工学院研究报告N°DC 90/1，1990年Zbl0823.06011号
2. 2 R.Betti和S.Kasangian，树自动机和丰富的范畴理论，Rend。发行。特里斯特材料大学17，编号1-2（1985），71-78Zbl0614.68045号863557加元
3. 3 A.Carboni和R.F.C.Walters，Cartesian bicategories I，J.Pure.&申请。阿尔盖布拉49（1987），1-32Zbl0637.18003号MR920513型
4. 4 R.Casley，R.Crow，J.Meseguer&V.Pratt，时间结构，数学。Comp.中的结构。《科学1》，第2期（1991年），179-213Zbl0756.18006号MR1132147型
5. 5 S.Ghilardi和G.C.Meloni，《模态和时态谓词逻辑：预设和范畴概念化中的模型》，《数学课堂讲稿》，Springer（1988），130-142Zbl0657.03008号MR975966型
6. 6 S.Ghilardi和G.C.Meloni，时序和模态谓词逻辑的关系和拓扑语义，Proc。1990年SILFS ConfZbl0729.03008号
7. 7 J.Goguen，《关于流图程序的同态、正确性、终止、展开和等价性》，J.Comp。系统。《科学》8（1974），333-365Zbl0285.68010号MR373358型
8. 8 J.Goguen，一个明确的宣言，数学。Comp.中的结构。《科学1》，第1期（1991年），第49-67页Zbl0747.18001号MR1108804型
9. 9 A.Joyal和M.Tierney，《格罗森迪克伽罗瓦理论的延伸》，AMS回忆录3091984年Zbl0541.18002号MR756176型
10. 10 F.W.Lawvere，度量空间，广义逻辑和闭范畴，Rend。材料与财务。米兰（1973），135-166Zbl0335.18006号MR352214型
11. 11 A.Pitts，超晶格丰富范畴理论在层理论中的应用，Proc。伦敦数学。Soc.57-3（1988），433-480Zbl0619.18005号MR960096型
12. 12 G.Reyes和H.Zolfaghari，Bi-Heyting代数，拓扑和模态，Rapport de Rech。，蒙特利尔大学，1991年，D.M.S.编号91-9Zbl0851.03022号
13. 13 K.I.Rosenthal，Quantales及其应用，Pitman数学研究笔记。234，Longman 1990年Zbl0703.06007号1088258英镑
14. 14 K.I.Rosenthal，免费量子化合物，J.Pure&Appl。阿尔及利亚72（1991），67-82Zbl0729.18007号MR1115568型
15. 15 K.I.Rosenthal，Girard量子类，数学。Comp.中的结构。《科学2 N°1》（1992），93-108Zbl0761.18008号MR1159501型
16. 16 K.I.罗森塔尔，量子核，句法同余和树自动机，J.Pure&Appl。Algebra77（1992），189-205Zbl0761.18009号MR1149021型
17. 17 K.I.Rosenthal，量子理论（准备中）。 Zbl0845.18003号