Skip to main content
SpringerLink
Log in
SpringerLink
Log in

Completeness Results for Fibred Parchments

  • Conference paper
Recent Trends in Algebraic Development Techniques (WADT 2002)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2755))

Included in the following conference series:

Abstract

In [6] it was shown that fibring could be used to combine institutions presented as c-parchments, and several completeness preservation results were established. However, their scope of applicability was limited to propositional-based logics. Herein, we extend these results to a broader class of logics, possibly including variables, terms and quantifiers. On the way, we need to consider an enriched notion of proof-calculus that deals explicitly with the substitution provisos that often appear in schematic inference rules. For illustration of the concepts, constructions and results, we shall adopt modal first-order logic as a working example.

This work was partially supported by FCT and FEDER, namely, via the Project FibLog POCTI/MAT/372 39/2001 of CLC.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Andréka, H., Németi, I., Sain, I.: Algebraic logic. In: Handbook of Philosophical Logic, 2nd edn., vol. 2. Kluwer Academic Publishers, Dordrecht (2001)

    Google Scholar 

  2. Birkhoff, G.: Lattice Theory. AMS Colloquium Publications (1967)

    Google Scholar 

  3. Blackburn, P., Rijke, M.: Why combine logics? Studia Logica 59(1), 5–27 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  4. Blok, W., Pigozzi, D.: Algebraizable Logics, vol. 77. Memoires AMS (1989)

    Google Scholar 

  5. Caleiro, C.: Combining Logics. PhD thesis, Universidade Técnica de Lisboa (2000)

    Google Scholar 

  6. Caleiro, C., Mateus, P., Ramos, J., Sernadas, A.: Combining logics: Parchments revisited. In: Cerioli, M., Reggio, G. (eds.) WADT 2001 and CoFI WG Meeting 2001. LNCS, vol. 2267, pp. 48–70. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  7. Coniglio, M.E., Sernadas, A., Sernadas, C.: Fibring logics with topos semantics. Journal of Logic and Computation (in print)

    Google Scholar 

  8. Diaconescu, R.: Grothendieck institutions. App. Cat. Str. 10(4), 383–402 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  9. Gabbay, D.: Fibred semantics and the weaving of logics: part 1. Journal of Symbolic Logic 61(4), 1057–1120 (1996)

    Article  MathSciNet  MATH  Google Scholar 

  10. Goguen, J., Burstall, R.: A study in the foundations of programming methodology: specifications, institutions, charters and parchments. In: Poigné, A., Pitt, D.H., Rydeheard, D.E., Abramsky, S. (eds.) Category Theory and Computer Programming. LNCS, vol. 240, pp. 313–333. Springer, Heidelberg (1986)

    Chapter  Google Scholar 

  11. Goguen, J., Burstall, R.: Institutions: abstract model theory for specification and programming. Journal of the ACM 39(1), 95–146 (1992)

    Article  MathSciNet  MATH  Google Scholar 

  12. Hughes, G., Cresswell, M.: A New Introduction to Modal Logic. Routledge, New York (1996)

    Book  MATH  Google Scholar 

  13. Kracht, M., Kutz, O.: The semantics of modal predicate logic I: Counter-part frames. In: Advances in Modal Logic. CSLI, vol. 3 (2002)

    Google Scholar 

  14. Mendelson, E.: Introduction to Mathematical Logic. van Nostrand, D. (1979)

    Google Scholar 

  15. Meseguer, J.: General logics. In: Proceedings of the Logic Colloquium 1987, pp. 275–329. North-Holland, Amsterdam (1989)

    Google Scholar 

  16. Mossakowski, T.: Using limits of parchments to systematically construct institutions of partial algebras. In: Haveraaen, M., Dahl, O.-J., Owe, O. (eds.) Abstract Data Types 1995 and COMPASS 1995. LNCS, vol. 1130, pp. 379–393. Springer, Heidelberg (1996)

    Chapter  Google Scholar 

  17. Mossakowski, T., Tarlecki, A., Pawłowski, W.: Combining and representing logical systems. In: Moggi, E., Rosolini, G. (eds.) CTCS 1997. LNCS, vol. 1290, pp. 177–196. Springer, Heidelberg (1997)

    Chapter  Google Scholar 

  18. Mossakowski, T., Tarlecki, A., Pawłowski, W.: Combining and representing logical systems using model-theoretic parchments. In: Parisi-Presicce, F. (ed.) WADT 1997. LNCS, vol. 1376, pp. 349–364. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  19. Pawłowski, W.: Presenting and combining inference systems. In: Wirsing, M., Pattinson, D., Hennicker, R. (eds.) WADT 2003. LNCS, vol. 2755, pp. 409–424. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  20. Sernadas, A., Sernadas, C., Caleiro, C.: Fibring of logics as a categorial construction. Journal of Logic and Computation 9(2), 149–179 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  21. Sernadas, A., Sernadas, C., Caleiro, C., Mossakowski, T.: Categorial fibring of logics with terms and binding operators. In: Frontiers of Combining Systems 2, pp. 295–316. Research Studies Press (2000)

    Google Scholar 

  22. Sernadas, A., Sernadas, C., Zanardo, A.: Fibring modal first-order logics: Completeness preservation. Logic Journal of the IGPL 10(4), 413–451 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  23. Sernadas, C., Rasga, J., Carnielli, W.A.: Modulated fibring and the collapsing problem. Journal of Symbolic Logic 67(4), 1541–1569 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  24. Tarlecki, A.: Moving between logical systems. In: Haveraaen, M., Dahl, O.-J., Owe, O. (eds.) Abstract Data Types 1995 and COMPASS 1995. LNCS, vol. 1130, pp. 478–502. Springer, Heidelberg (1996)

    Chapter  Google Scholar 

  25. Zanardo, A., Sernadas, A., Sernadas, C.: Fibring: Completeness preservation. Journal of Symbolic Logic 66(1), 414–439 (2001)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. CLC – Departamento de Matemática, IST – UTL, Av. Rovisco Pais, 1049–001, Lisboa, Portugal

    C. Caleiro, P. Gouveia & J. Ramos

Authors
  1. C. Caleiro
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. P. Gouveia
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. J. Ramos
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute of Computer Science, LMU Munich, Munich, Germany

    Martin Wirsing

  2. Department of Computing, Imperial College London, UK

    Dirk Pattinson

  3. Institut für Informatik, Ludwig-Maximilians-Universität München, Germany

    Rolf Hennicker

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Caleiro, C., Gouveia, P., Ramos, J. (2003). Completeness Results for Fibred Parchments. In: Wirsing, M., Pattinson, D., Hennicker, R. (eds) Recent Trends in Algebraic Development Techniques. WADT 2002. Lecture Notes in Computer Science, vol 2755. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-40020-2_10

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-40020-2_10

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-20537-1

  • Online ISBN: 978-3-540-40020-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation