Selfextensional Logics with Implication
Ramón Jansana · Logica Universalis · 2007
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.