Leibniz-linked Pairs of Deductive Systems

Authors:
Josep Maria Font;Ramon Jansana
Affiliations:
Department de Probabilitat, Lògica i Estadística, Facultat de Matemàtiques, Universitat de Barcelona (UB), Barcelona, Spain 08007;Departament de Lògica, Història i Filosofia de la Ciència, Facultat de Filosofia, Universitat de Barcelona (UB), Barcelona, Spain 08001
Venue:
Studia Logica
Year:
2011

Citing 3
Cited 0

Residuated Lattices: An Algebraic Glimpse at Substructural Logics, Volume 151

Residuated Lattices: An Algebraic Glimpse at Substructural Logics, Volume 151
Logics Preserving Degrees of Truth from Varieties of Residuated Lattices

Journal of Logic and Computation
Algebraizable logics with a strong conjunction and their semi-lattice based companions

Archive for Mathematical Logic

Quantified Score

Hi-index	0.00

Visualization

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.