Fibring of logics as a categorial construction

Journal of Logic and Computation

Volumn 9, Issue 2, 1999, Pages 149-179

  Sernadas, Amílcar ^a   Sernadas, Cristina ^a   Caleiro, Carlos ^a  

^a INSTITUTO SUPERIOR TÉCNICO   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; MATHEMATICAL MORPHOLOGY; MODAL ANALYSIS; THEOREM PROVING;

FIBRED SEMANTICS; LOGIC MORPHISM; MODAL LOGICS;

FORMAL LOGIC;

EID: 0032640209     PISSN: 0955792X     EISSN: None     Source Type: Journal    
DOI: 10.1093/logcom/9.2.149     Document Type: Article

References (20)

1. J. Adámek, H. Herrlich and G. Strecker. Abstract and concrete categories. John Wiley, 1990.
2. M. Arrais and J. Fiadeiro. Unifying theories in different institutions. In Recent Trends in Data Type Specification, M. Haveraaen, O. Owe and O.-J. Dahl, eds. pp. 81-101. Springer-Verlag, LNCS 1130, 1996.
3. M. Barr and C. Wells. Category Theory for Computing Science. Prentice Hall, 1990.
4. J. Bell and M. Machover. A Course in Mathematical Logic. North-Holland, 1977.
5. P. Blackburn and M. de Rijke. Why combine logics? Studia Logica, 59, 5-27, 1997.
6. A. Blass. The interaction between category theory and set theory. In Mathematical Applications of Category Theory, J. W. Gray, ed. pp. 5-29. AMS Series in Contemporary Mathematics, 1984.
7. L. F. del Cerro and A. Herzig. Combining classical and intuitionistic logic. In Frontiers of Combining Systems, F. Baader and K. Schulz, eds. pp. 93-102. Kluwer Academic Publishers, 1996.
8. D. Gabbay. Fibred semantics and the weaving of logics: part 1. Journal of Symbolic Logic, 61, 1057-1120, 1996.
9. D. Gabbay. An overview of fibred semantics and the combination of logics. In Frontiers of Combining Systems, F. Baader and K. Schulz, eds. pp. 1-55. Kluwer Academic Publishers, 1996.
10. J. Goguen and R. Burstall. Institutions: Abstract model theory for specification and programming. Journal of the ACM, 39, 95-146, 1992.
11. R. Goldblatt. Logics of Time and Computation. CSLI, 1992. Second edition.
12. A. Jánossy, Á. Kurucz and Á. E. Eiben. Combining algebraizable logics. Notre Dame Journal of Formal Logic, 37, 366-380, 1996.
13. M. Kracht and F. Wolter. Properties of independently axiomatizable bimodal logics. Journal of Symbolic Logic, 56, 1469-1485, 1991.
14. J.-L. Lassez, V. L. Nguyen, and E. A. Sonenberg. Fixed point theorems and semantics: A folk tale. Information Processing Letters, 14, 112-116, 1982.
15. S. MacLane. Categories for the Working Mathematician. Springer-Verlag, 1971.
16. T. Mossakowski, A. Tarlecki, and W. Pawlowski. Combining and representing logical systems. In Category Theory and Computer Science 97, pp. 177-196. Springer-Verlag, LNCS 1290, 1997.
17. A. Sernadas, C. Sernadas, and C. Caleiro. Synchronization of logics. Studia Logica, 59, 217-247, 1997.
18. A. Sernadas, C. Sernadas and C. Caleiro. Synchronization of logics with mixed rules: Completeness preservation. In Algebraic Methodology and Software Technology - AMAST'97, pp. 465-478. Springer-Verlag, LNCS 1349, 1997.
19. A. Sernadas, C. Sernadas, C. Caleiro, and T. Mossakowski. Categorial fibring of logics with terms and binding operators. Research report, Section of Computer Science, Department of Mathematics, Instituto Superior Técnico, 1096 Lisboa, Portugal, 1998. Submitted for publication.
20. J. van Benthem. Two simple incomplete logics. Theoria, 44, 25-37, 1978.