On weakening the Deduction Theorem and strengthening Modus Ponens

Mathematical Logic Quarterly 50 (3):303-324 (2004)
  Copy   BIBTEX


This paper studies, with techniques ofAlgebraic Logic, the effects of putting a bound on the cardinality of the set of side formulas in the Deduction Theorem, viewed as a Gentzen-style rule, and of adding additional assumptions inside the formulas present in Modus Ponens, viewed as a Hilbert-style rule. As a result, a denumerable collection of new Gentzen systems and two new sentential logics have been isolated. These logics are weaker than the positive implicative logic. We have determined their algebraic models and the relationships between them, and have classified them according to several standard criteria of Abstract Algebraic Logic. One of the logics is protoalgebraic but neither equivalential nor weakly algebraizable, a rare situation where very few natural examples were hitherto known. In passing we have found new, alternative presentations of positive implicative logic, both in Hilbert style and in Gentzen style, and have characterized it in terms of the restricted Deduction Theorem: it is the weakest logic satisfying Modus Ponens and the Deduction Theorem restricted to at most 2 side formulas. The algebraic part of the work has lead to the class of quasi-Hilbert algebras, a quasi-variety of implicative algebras introduced by Pla and Verdú in 1980, which is larger than the variety of Hilbert algebras. Its algebraic properties reflect those of the corresponding logics and Gentzen systems



    Upload a copy of this work     Papers currently archived: 92,347

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Instability, modus ponens and uncertainty of deduction.Huajie Liu - 2006 - Frontiers of Philosophy in China 1 (4):658-674.
Sorites is no threat to modus ponens: a reply to Kochan.Colin Howson - 2009 - International Studies in the Philosophy of Science 23 (2):209-212.


Added to PP

41 (#390,914)

6 months
11 (#245,876)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Citations of this work

The simplest protoalgebraic logic.Josep Maria Font - 2013 - Mathematical Logic Quarterly 59 (6):435-451.
2004 Summer Meeting of the Association for Symbolic Logic.Wolfram Pohlers - 2005 - Bulletin of Symbolic Logic 11 (2):249-312.

Add more citations

References found in this work

A survey of abstract algebraic logic.J. M. Font, R. Jansana & D. Pigozzi - 2003 - Studia Logica 74 (1-2):13 - 97.
Equivalential logics.Janusz Czelakowski - 1981 - Studia Logica 40 (3):227-236.
Equivalential logics (I).Janusz Czelakowski - 1981 - Studia Logica 40 (3):227 - 236.
Algebraic aspects of deduction theorems.Janusz Czelakowski - 1985 - Studia Logica 44 (4):369 - 387.

View all 8 references / Add more references