Skip to main content Accessibility help
×
×
Home

Fibring: completeness preservation

  • Alberto Zanardo (a1), Amilcar Sernadas (a2) and Cristina Sernadas (a3)
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] Barr, M. and Wells, C., Category theory for computing science, Prentice Hall, 1990.
[1978] van Benthem, J., Two simple incomplete logics, Theoria, vol. 44 (1978), pp. 2537.
[1983] van Benthem, J., The logic of time, D. Reidel P. C., Dordrecht, 1983.
[1985] van Benthem, J., Modal logic and classical logic, Bibliopolis, Napoli, 1985.
[1997] Blackburn, P. and de Rijke, M., Why combine logics?, Studia Logica, vol. 59 (1997), no. 1, pp. 527.
[1997] Chagrov, A. and Zakhryaschev, M., Modal logic, Clarendon Press, Oxford, 1997.
[1996] del Cerro, L. F. and Herzig, A., Combining classical and intuitionistic logic, Frontiers of combining systems (Baader, F. and Schulz, K., editors), Kluwer Academic Publishers, 1996, pp. 93102.
[1996a] Gabbay, D., Fibred semantics and the weaving of logics: part 1, this Journal, vol. 61 (1996), no. 4, pp. 10571120.
[1996b] Gabbay, D., An overview of fibred semantics and the combination of logics, Frontiers of combining systems (Baader, F. and Schulz, K., editors), Kluwer Academic Publishers, 1996, pp. 155.
[1999] Gabbay, D., Fibring logics, Oxford University Press, 1999.
[1950] Henkin, L., Completeness in the theory of types, this Journal, vol. 15 (1950), pp. 8191.
[1996] Hughes, G. E. and Cresswell, M. J., A new introduction to modal logic, Routledge, London, 1996.
[1991] Kracht, M. and Wolter, F., Properties of independently axiomatizable bi-modal logics, this Journal, vol. 56 (1991), no. 4, pp. 14691485.
[2000] Sambin, G., Battilotti, G., and Faggian, C., Basic logic: Reflection, symmetry, visibility, this Journal, vol. 65 (2000), pp. 9791013.
[1997a] Sernadas, A., Sernadas, C., and Caleiro, C., Synchronization of logics, Studia Logica, vol. 59 (1997), no. 2, pp. 217247.
[1997b] Sernadas, A., Synchronization of logics with mixed rules: Completeness preservation, Algebraic methodology and software technology - amast'97, Springer-Verlag, LNCS 1349, 1997, pp. 465478.
[1999] Sernadas, A., Fibring of logics as a categorial construction, Journal of Logic and Computation, vol. 9 (1999), no. 2, pp. 149179.
[2000] Sernadas, A., Sernadas, C., Caleiro, C., and Mossakowski, T., Categorial fibring of logics with terms and binding operators, Frontiers of combining systems - FroCoS'98 (de Rijke, M. and Gabbay, D., editors), Research Studies Press, 2000, pp. 295316.
[1996] Wolter, F., A counterexample in tense logic, Notre Dame Journal of Formal Logic, vol. 37 (1996), no. 2, pp. 167173.
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: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed