Contextual Deduction Theorems
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 | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,705 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesJanusz 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.
Analytics
Monthly downloads |
Added to index2011-08-27Total downloads3 ( #202,056 of 549,198 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
