Skip to main content
SpringerLink
Log in

Leibniz-linked Pairs of Deductive Systems

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

A pair of deductive systems (S,S’) is Leibniz-linked when S’ is an extension of S and on every algebra there is a map sending each filter of S to a filter of S’ with the same Leibniz congruence. We study this generalization to arbitrary deductive systems of the notion of the strong version of a protoalgebraic deductive system, studied in earlier papers, and of some results recently found for particular non-protoalgebraic deductive systems. The necessary examples and counterexamples found in the literature are described.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Areces C., ten Cate B., ‘Hybrid logics’. In Handbook of Modal Logic, P. Blackburn, J. van Benthem and F. Wolter (eds.), Elsevier, Amsterdam, 2007, pp. 821–868

  2. Bou, F., Implicación estricta y lógicas subintuicionistas. Master thesis, University of Barcelona, 2001.

  3. Bou F., Esteva F., Font J.M., Gil A., Godo L., Torrens A., Verdú V.: ‘Logics preserving degrees of truth from varieties of residuated lattices’. Journal of Logic and Computation 19, 1031–1069 (2009)

    Article  Google Scholar 

  4. Celani S., Jansana R.: ‘A closer look at some subintuitionistic logics’. Notre Dame Journal of Formal Logic 42, 225–255 (2001)

    Article  Google Scholar 

  5. Celani S., Jansana R.: ‘Bounded distributive lattices with strict implication’. Mathematical Logic Quarterly 51, 219–246 (2005)

    Article  Google Scholar 

  6. Czelakowski J.: Protoalgebraic logics, vol. 10 of Trends in Logic - Studia Logica Library. Kluwer Academic Publishers, Dordrecht (2001)

    Google Scholar 

  7. Font J.M.: ‘On semilattice-based logics with an algebraizable assertional companion’. Reports on Mathematical Logic 46, 109–132 (2011)

    Google Scholar 

  8. Font, J. M., and R. Jansana, A general algebraic semantics for sentential logics. Second revised edition, vol. 7 of Lecture Notes in Logic. Association for Symbolic Logic, 2009. Electronic version freely available through Project Euclid at http://projecteuclid.org/euclid.lnl/1235416965.

  9. Font J.M., Jansana R.: ‘Leibniz filters and the strong version of a protoalgebraic logic’. Archive for Mathematical Logic 40, 437–465 (2001)

    Article  Google Scholar 

  10. Font, J. M., R. Jansana, and D. Pigozzi, ‘A survey of abstract algebraic logic’. Studia Logica (Special issue on Abstract Algebraic Logic, Part II)74:13–97, 2003. With an update in vol. 91:125–130, 2009.

  11. Font J.M., Rodríguez G.: ‘Note on algebraic models for relevance logic’. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 36, 535–540 (1990)

    Article  Google Scholar 

  12. Font J.M., Rodríguez G.: ‘Algebraic study of two deductive systems of relevance logic’. Notre Dame Journal of Formal Logic 35, 369–397 (1994)

    Article  Google Scholar 

  13. Galatos, N., P. Jipsen, T. Kowalski, and H. Ono, Residuated lattices: an algebraic glimpse at substructural logics, vol. 151 of Studies in Logic and the Foundations of Mathematics. Elsevier, Amsterdam, 2007.

  14. Jansana R.: ‘Leibniz filters revisited’. Studia Logica 75, 305–317 (2003)

    Article  Google Scholar 

  15. Jansana R.: ‘Selfextensional logics with a conjunction’. Studia Logica 84, 63–104 (2006)

    Article  Google Scholar 

  16. Jansana, R., ‘Algebraizable logics with a strong conjunction and their semi-lattice based companions’. Archive for Mathematical Logic, to appear.

  17. Kracht, M., ‘Modal consequence relations’. In Handbook of Modal Logic, P. Blackburn, J. van Benthem and F. Wolter (eds.), Elsevier, Amsterdam, 2007, pp. 491–545.

  18. Raftery, J., ‘The equational definability of truth predicates’. Reports on Mathematical Logic (Special issue in memory of Willem Blok) 41:95–149, 2006.

  19. Wójcicki, R., Lectures on propositional calculi. Ossolineum, Wrocław, 1984.

  20. Wójcicki, R., Theory of logical calculi. Basic theory of consequence operations. Vol. 199 of Synthèse Library. Reidel, Dordrecht, 1988.

Download references

Author information

Authors and Affiliations

  1. Department de Probabilitat, Lògica i Estadística, Facultat de Matemàtiques, Universitat de Barcelona (UB), Gran Via 585, 08007, Barcelona, Spain

    Josep Maria Font

  2. Departament de Lògica, Història i Filosofia de la Ciència, Facultat de Filosofia, Universitat de Barcelona (UB), Montalegre 6, 08001, Barcelona, Spain

    Ramon Jansana

Authors
  1. Josep Maria Font
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ramon Jansana
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Josep Maria Font.

Additional information

Dedicated to Professor Ryszard Wójcicki on the occasion of his 80th birthday

Special issue in honor of Ryszard Wójcicki on the occasion of his 80th birthday Edited by J. Czelakowski, W. Dziobiak, and J. Malinowski

Rights and permissions

Reprints and permissions

About this article

Cite this article

Font, J.M., Jansana, R. Leibniz-linked Pairs of Deductive Systems. Stud Logica 99, 171 (2011). https://doi.org/10.1007/s11225-011-9359-6

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1007/s11225-011-9359-6

Keywords

2010 Mathematics Subject Classification

Search

Navigation