Studia Logica 99 (1-3):279-319 (2011)
|Abstract||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)|
|Through your library||Configure|
Similar books and articles
Janusz Czelakowski (1985). Algebraic Aspects of Deduction Theorems. Studia Logica 44 (4):369 - 387.
Janusz Czelakowski (1986). Local Deductions Theorems. Studia Logica 45 (4):377 - 391.
Janusz Czelakowski (1984). Filter Distributive Logics. Studia Logica 43 (4):353 - 377.
Katarzyna Pałasińska (2003). Finite Basis Theorem for Filter-Distributive Protoalgebraic Deductive Systems and Strict Universal Horn Classes. Studia Logica 74 (1-2):233 - 273.
W. J. Blok & Don Pigozzi (1986). Protoalgebraic Logics. Studia Logica 45 (4):337 - 369.
Josep Maria Font & Ramon Jansana (2011). Leibniz-Linked Pairs of Deductive Systems. Studia Logica 99 (1-3):171-202.
David Kinkela (2005). The Question of Success and Environmental Ethics: Revisiting the Ddt Controversy From a Transnational Perspective, 1967-72. Ethics, Place and Environment 8 (2):159 – 179.
Nikolaos Galatos & Hiroakira Ono (2006). Algebraization, Parametrized Local Deduction Theorem and Interpolation for Substructural Logics Over FL. Studia Logica 83 (1-3):279 - 308.
Shane Ralston (2011). Deliberating with Critical Friends. Teaching Philosophy 34 (4):393-410.
M. W. Bunder (1982). Deduction Theorems for Weak Implicational Logics. Studia Logica 41 (2-3):95 - 108.
W. J. Blok & J. Rebagliato (2003). Algebraic Semantics for Deductive Systems. Studia Logica 74 (1-2):153 - 180.
Vuk Uskoković (2012). On Holism and The Contextual Character of Natural Qualities. World Futures 68 (6):406 - 429.
Josep Maria Font, Ramon Jansana & Don Pigozzi (2006). On the Closure Properties of the Class of Full G-Models of a Deductive System. Studia Logica 83 (1-3):215 - 278.
Abner Shimony (1984). Contextual Hidden Variables Theories and Bell's Inequalities. British Journal for the Philosophy of Science 35 (1):25-45.
Burghard Herrmann (1997). Characterizing Equivalential and Algebraizable Logics by the Leibniz Operator. Studia Logica 58 (2):305-323.
Added to index2011-08-27
Total downloads4 ( #188,845 of 722,813 )
Recent downloads (6 months)1 ( #60,541 of 722,813 )
How can I increase my downloads?