Skip to main content
×
Home
    • Aa
    • Aa

Fibring: completeness preservation

  • Alberto Zanardo (a1), Amilcar Sernadas (a2) and Cristina Sernadas (a3)
Abstract
Abstract

A completeness theorem is established for logics with congruence endowed with general semantics (in the style of general frames). As a corollary, completeness is shown to be preserved by fibring logics with congruence provided that congruence is retained in the resulting logic. The class of logics with equivalence is shown to be closed under fibring and to be included in the class of logics with congruence. Thus, completeness is shown to be preserved by fibring logics with equivalence and general semantics. An example is provided showing that completeness is not always preserved by fibring ligics endowed with standard (non general) semantics. A categorial characterization of fibring is provided using coproducts and cocartesian liftings.

Copyright
References
Hide All
[1990] M. Barr and C. Wells , Category theory for computing science, Prentice Hall, 1990.

[1978] J. van Benthem , Two simple incomplete logics, Theoria, vol. 44 (1978), pp. 2537.

[1983] J. van Benthem , The logic of time, D. Reidel P. C., Dordrecht, 1983.

[1997] P. Blackburn and M. de Rijke , Why combine logics?, Studia Logica, vol. 59 (1997), no. 1, pp. 527.

[1996] L. F. del Cerro and A. Herzig , Combining classical and intuitionistic logic, Frontiers of combining systems ( F. Baader and K. Schulz , editors), Kluwer Academic Publishers, 1996, pp. 93102.

[1996b] D. Gabbay , An overview of fibred semantics and the combination of logics, Frontiers of combining systems ( F. Baader and K. Schulz , editors), Kluwer Academic Publishers, 1996, pp. 155.

[1996] G. E. Hughes and M. J. Cresswell , A new introduction to modal logic, Routledge, London, 1996.

[1997a] A. Sernadas , C. Sernadas , and C. Caleiro , Synchronization of logics, Studia Logica, vol. 59 (1997), no. 2, pp. 217247.

[1997b] A. Sernadas , Synchronization of logics with mixed rules: Completeness preservation, Algebraic methodology and software technology - amast'97, Springer-Verlag, LNCS 1349, 1997, pp. 465478.

[1999] A. Sernadas , Fibring of logics as a categorial construction, Journal of Logic and Computation, vol. 9 (1999), no. 2, pp. 149179.

Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Journal of Symbolic Logic
  • ISSN: 0022-4812
  • EISSN: 1943-5886
  • URL: /core/journals/journal-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *
×

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 2 *
Loading metrics...

Abstract views

Total abstract views: 44 *
Loading metrics...

* Views captured on Cambridge Core between September 2016 - 18th October 2017. This data will be updated every 24 hours.