Leibniz-linked Pairs of Deductive Systems

Studia Logica 99 (1-3):171-202 (2011)
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
Keywords Leibniz operator  Leibniz filters  protoalgebraic logics  strong version  truth-equational logics  abstract algebraic logic
Categories (categorize this paper)
DOI 10.1007/s11225-011-9359-6
Options
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history
Request removal from index
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 28,182
Through your library
References found in this work BETA
A Survey of Abstract Algebraic Logic.J. M. Font, R. Jansana & D. Pigozzi - 2003 - Studia Logica 74 (1-2):13 - 97.
A Closer Look at Some Subintuitionistic Logics.Sergio Celani & Ramon Jansana - 2001 - Notre Dame Journal of Formal Logic 42 (4):225-255.
Leibniz Filters Revisited.Ramon Jansana - 2003 - Studia Logica 75 (3):305 - 317.
Algebraic Study of Two Deductive Systems of Relevance Logic.Josep Maria Font & Gonzalo Rodríguez - 1994 - Notre Dame Journal of Formal Logic 35 (3):369-397.

View all 14 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles
Algebraic Semantics for Deductive Systems.W. J. Blok & J. Rebagliato - 2003 - Studia Logica 74 (1-2):153 - 180.
Protoalgebraic Logics.W. J. Blok & Don Pigozzi - 1986 - Studia Logica 45 (4):337 - 369.
Contextual Deduction Theorems.J. G. Raftery - 2011 - Studia Logica 99 (1-3):279-319.
Abstract Modal Logics.Ramon Jansana - 1995 - Studia Logica 55 (2):273 - 299.
Leibniz Filters Revisited.Ramon Jansana - 2003 - Studia Logica 75 (3):305 - 317.
An Open Problem in Tarski's Calculus of Deductive Systems.David Miller - 1991 - Bulletin of the Section of Logic 20 (2):36-43.
.[author unknown] - unknown
Algebraic Study of Two Deductive Systems of Relevance Logic.Josep Maria Font & Gonzalo Rodríguez - 1994 - Notre Dame Journal of Formal Logic 35 (3):369-397.

Monthly downloads

Added to index

2011-08-27

Total downloads

15 ( #316,060 of 2,172,036 )

Recent downloads (6 months)

1 ( #325,967 of 2,172,036 )

How can I increase my downloads?

My notes
Sign in to use this feature


Discussion
Order:
There  are no threads in this forum
Nothing in this forum yet.

Other forums