Leibniz-linked Pairs of Deductive Systems

Studia Logica 99 (1-3):1-27 (2011)
  Copy   BIBTEX

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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,593

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Introduction.Josep Maria Font & Ramon Jansana - 2013 - Studia Logica 101 (4):647-650.
Foreword.Josep Maria Font, Ramon Jansana & Don Pigozzi - 2000 - Studia Logica 65 (1):1-9.
Foreword.Josep Maria Font, Ramon Jansana & Don Pigozzi - 2003 - Studia Logica 74 (1-2):1-9.
Full Models for Sentential Logics.Josep Maria Font & Ramon Jansana - 1995 - Bulletin of the Section of Logic 24 (3):123-131.
Erratum to J. M. Font, The simplest protoalgebraic logic.Josep Maria Font - 2014 - Mathematical Logic Quarterly 60 (1-2):91-91.
Atoms in a lattice of theories.Josep Maria Font - 2013 - Bulletin of the Section of Logic 42 (1/2).
On substructural logics preserving degrees of truth.Josep Maria Font - 2007 - Bulletin of the Section of Logic 36 (3/4):117-129.
Belnap's four-valued logic and De Morgan lattices.Josep Maria Font - 1997 - Logic Journal of the IGPL 5 (1):1--29.
On Special Implicative Filters.Josep Maria Font - 1999 - Mathematical Logic Quarterly 45 (1):117-126.
The simplest protoalgebraic logic.Josep Maria Font - 2013 - Mathematical Logic Quarterly 59 (6):435-451.
Correction to “Some Remarks on Heyting Matrices”.Josep M. Font - 1988 - Mathematical Logic Quarterly 34 (3):287-288.
La filosofia de Josep Maria Capdevila.Joan Cortada Hortalà - 2008 - Barcelona: Abadia de Montserrat.

Analytics

Added to PP
2014-03-05

Downloads
17 (#742,076)

6 months
1 (#1,040,386)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Ramon Jansana Ferrer
Universitat de Barcelona

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references