Studia Logica 99 (1-3):279-319 (2011)
Logics that do not have a deduction-detachment theorem (briefly, a DDT) may still possess a contextual DDT —a syntactic notion introduced here for arbitrary deductive systems, along with a local variant. Substructural logics without sentential constants are natural witnesses to these phenomena. In the presence of a contextual DDT, we can still upgrade many weak completeness results to strong ones, e.g., the finite model property implies the strong finite model property. It turns out that a finitary system has a contextual DDT iff it is protoalgebraic and gives rise to a dually Brouwerian semilattice of compact deductive filters in every finitely generated algebra of the corresponding type. Any such system is filter distributive, although it may lack the filter extension property. More generally, filter distributivity and modularity are characterized for all finitary systems with a local contextual DDT, and several examples are discussed. For algebraizable logics, the well-known correspondence between the DDT and the equational definability of principal congruences is adapted to the contextual case
|Keywords||Deductive system deduction-detachment theorem protoalgebraic algebraizable quasivariety EDPC distributive modular substructural logics|
|Categories||categorize this paper)|
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.
Theory of Logical Calculi. Basic Theory of Consequence Operations.R. Wojcicki - 1988 - Kluwer Academic Publishers.
Rule Separation and Embedding Theorems for Logics Without Weakening.J. Van Alten Clint & G. Raftery James - 2004 - Studia Logica 76 (2):241-274.
Citations of this work BETA
The Simplest Protoalgebraic Logic.Josep Maria Font - 2013 - Mathematical Logic Quarterly 59 (6):435-451.
Almost Structural Completeness; an Algebraic Approach.Wojciech Dzik & Michał M. Stronkowski - 2016 - Annals of Pure and Applied Logic 167 (7):525-556.
Similar books and articles
Finite Basis Theorem for Filter-Distributive Protoalgebraic Deductive Systems and Strict Universal Horn Classes.Katarzyna Pałasińska - 2003 - Studia Logica 74 (1-2):233 - 273.
Leibniz-Linked Pairs of Deductive Systems.Josep Maria Font & Ramon Jansana - 2011 - Studia Logica 99 (1-3):171-202.
The Question of Success and Environmental Ethics: Revisiting the Ddt Controversy From a Transnational Perspective, 1967-72.David Kinkela - 2005 - Ethics, Place and Environment 8 (2):159 – 179.
Deduction Theorems for Weak Implicational Logics.M. W. Bunder - 1982 - Studia Logica 41 (2-3):95 - 108.
Algebraic Semantics for Deductive Systems.W. J. Blok & J. Rebagliato - 2003 - Studia Logica 74 (1-2):153 - 180.
On Holism and The Contextual Character of Natural Qualities.Vuk Uskoković - 2012 - World Futures 68 (6):406 - 429.
Contextual Hidden Variables Theories and Bell's Inequalities.Abner Shimony - 1984 - British Journal for the Philosophy of Science 35 (1):25-45.
Characterizing Equivalential and Algebraizable Logics by the Leibniz Operator.Burghard Herrmann - 1997 - Studia Logica 58 (2):305-323.
Added to index2011-08-27
Total downloads7 ( #516,344 of 2,152,522 )
Recent downloads (6 months)2 ( #281,162 of 2,152,522 )
How can I increase my downloads?