Abstract
The aim of this paper is to develop the theory of the selfextensional logics with an implication for which it holds the deduction-detachment theorem, as presented in [8], but avoiding the use of Gentzen-systems to prove the main results as much as possible.
The research in this paper was partially supported by Spanish DGESIC grant BFM2001-3329 and Catalan grant 2001SGR-00017. The study was begun t during the author's stay at the ILLC of the University of Amsterdam in the academic year 1999–2000 supported by the Spanish DGESIC grant PR199-0179.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
References
Babyonishev, S.V. Fully Fregean logics, Reports on Mathematical Logic 37 (2003), 59–78.
W. Blok, D. Pigozzi, Algebraizable Logics (Memoires of the AMS, vol. 396), The American Mathematical Society, Providence 1986.
S. Celani and R. Jansana, A closer look at some subintuitionistic logics. Notre Dame Journal of Formal Logic 42 (2001), 225–255.
J. Czelakowski, Protoalgebraic logics, Kluwer, 2001.
J. Czelakowski, The Suszko operator. Part I. Studia Logica, Special Issue on Abstract Algebraic Logic II, 74 (2003), 181–231.
J. Czelakowski and D. Pigozzi, Fregean logics. Annals of Pure and Applied Logic 127 (2004), 17–76.
J.M. Font, Belnap's four-valued logic and De Morgan lattices. Logic Journal of the I.G.P.L. 5 (1997), 413–440.
J.M. Font, R. Jansana, A General Algebraic Semantics for Sentential Logics, vol. 7 of Lecture Notes in Logic, Springer-Verlag, 1996.
J.M. Font, R. Jansana, D. Pigozzi, Fully adequate Gentzen systems and closure properties of the class of full g-models, preprint, 1999.
J.M. Font, R. Jansana, D. Pigozzi, A Survey of Abstract Algebraic Logic. Studia Logica, Special Issue on Algebraic Logic II, 74 (2003), 13–97.
J.M. Font, V. Verdú, Algebraic Logic for Classical Conjunction and Disjunction. Studia Logica, Special Issue on Abstract Algebraic Logic, 50 (1991), 391–419.
R. Jansana, Full g-models for Positive Modal Logic. Mathematical Logic Quarterly 48 (2002), 427–445.
A. Pynko Definitional equivalence and algebraizability of generalized logical systems. Annals of Pure and Applied Logic 98 (1999), 1–68.
H. Rasiowa An Algebraic Approach to non-classical logics, North-Holland, 1974.
J. Rebagliato, V. Verdú, On the algebraization of some Gentzen systems. Fundamenta Informaticae, Special Issue on Algebraic Logic and its Applications, 18 (1993), 319–338.
J. Rebagliato, V. Verdú, Algebraizable Gentzen systems and the Deduction Theorem-for Gentzen systems, Mathematics Preprint Series 1975, Univeristat de Barcelona.
R. Wójcicki, Referential Matrix Semantics for Propositional Calculi. Bulletin of the Section of Logic 8 (1979), 170–76.
R. Wójcicki, Theory of Logical Calculi. Basic Theory of Consequence Operations, (Synthese Library, vol. 199), Reidel, 1988.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Birkhäuser Verlag Basel/Switzerland
About this paper
Cite this paper
Jansana, R. (2005). Selfextensional Logics with Implication. In: Beziau, JY. (eds) Logica Universalis. Birkhäuser Basel. https://doi.org/10.1007/3-7643-7304-0_4
Download citation
DOI: https://doi.org/10.1007/3-7643-7304-0_4
Publisher Name: Birkhäuser Basel
Print ISBN: 978-3-7643-7259-0
Online ISBN: 978-3-7643-7304-7
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)