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.© 2007 Birkhäuser Verlag Basel/Switzerland.
Author supplied keywords
Cite
CITATION STYLE
APA
Jansana, R. (2007). Selfextensional logics with implication. In Logica Universalis: Towards a General Theory of Logic (pp. 63–86). Birkhäuser Basel. https://doi.org/10.1007/978-3-7643-8354-1_4
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
Already have an account? Sign in
Sign up for free