摘要: Inclusion systems have been introduced in algebraic specification theory as a categorical structure supporting the development of general abstract logic-independent approach to algebra (or programming) modules. Here we extend concept indexed categories and their Grothendieck flattenings inclusion systems. An important practical significance resulting is that they allow module algebras for multi-logic heterogeneous frameworks. At another level, show several use some syntactic (signatures, deductive theories) or semantic contexts (models) appear too. We also study properties
springer.com
sci-hub.se 参考文章(26)
Razvan Diaconescu, Institution-independent model theory ,(2008)
Till Mossakowski, Heterogeneous Specification and the Heterogeneous Tool Set ,(2004)
Petros Stefaneas, Răzvan Diaconescu, Joseph Goguen, Logical support for modularisation Papers presented at the second annual Workshop on Logical environments. pp. 83- 130 ,(1993)
Răzvan Diaconescu, Extra Theory Morphisms for Institutions: Logical Semantics for Multi-Paradigm Languages Applied Categorical Structures. ,vol. 6, pp. 427- 453 ,(1998) , 10.1023/A:1008607717635
Robert Harper, Donald Sannella, Andrzej Tarlecki, Logic representation in LF Category Theory and Computer Science. pp. 250- 272 ,(1989) , 10.1007/BFB0018356
Joseph Goguen, Grigore Roşu, Composing Hidden Information Modules over Inclusive Institutions From Object-Orientation to Formal Methods. ,vol. 2635, pp. 96- 123 ,(2004) , 10.1007/978-3-540-39993-3_7
Donald Sannella, Andrzej Tarlecki, Extended ML: Past, Present, and Future Annales Des Télécommunications. pp. 297- 322 ,(1990) , 10.1007/3-540-54496-8_16
José Fiadeiro, Amílcar Sernadas, Structuring theories on consequence Annales Des Télécommunications. pp. 44- 72 ,(1988) , 10.1007/3-540-50325-0_3
GRIGORE ROŞU, Axiomatizability in inclusive equational logics Mathematical Structures in Computer Science. ,vol. 12, pp. 541- 563 ,(2002) , 10.1017/S0960129501003474
Răzvan Diaconescu, Kokichi Futatsugi, Logical foundations of CafeOBJ Theoretical Computer Science. ,vol. 285, pp. 289- 318 ,(2002) , 10.1016/S0304-3975(01)00361-9