A gentzen system equivalent to the bck-logic

Bulletin of the Section of Logic

Volumn 25, Issue 2, 1996, Pages 73-80

  Adillon, Roma J ^a   Verdu, Ventura ^a  

^a UNIVERSITY OF BARCELONA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 52849090324     PISSN: 01380680     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (11)

1. R. J. Adillon and V. Verdu, Sistema de Gentzen algebrizables para las logicas de Lambek, Girard, Relevancia y BCK, [in:E. Bustos, J. Echeverra, E. Perez Sedeno, M. I. Sanchez Balmaseda,(eds) Actas del I Congreso de la Sociedad de Logica, Metodologa y Filosoa de la Ciencia 1993, pp. 2-5.
2. A. Avron, Gentzen-type system, resolution and tableaux, Journal of Automated Reasoning 10, (1993), pp. 265-281.
3. W. J. Blok and D. Pigozzi, Algebraizable logics, Memoirs of the American Mathematical Society 396 (1989).
4. W. J. Blok and D. Pigozzi, The Deduction Theorem in Al-gebraic Logics. Preprint, 1989.
5. W. J. Blok and D. Pigozzi, Abstract Algebraic Logic, A course given at the Summer School on Algebraic Logic and the Methodology of Applying it, Budapest, July 1994. Preprint, October 5, 1994.
6. W. J. Blok and D. Pigozzi, Local Deduction Theorems in Algebraic Logics, [in:H. Andreka, J. D. Monk and I. Nemeti (eds) Algebraic Logic, Colloq. Math. Soc. Janos Bolyai, vol. 54, North-Holland (1991), pp. 75-109.
7. K. Iseki and S. Tanaka, An introduction to the theory of BCK-algebras, Math. Japonica 23 (1978), pp. 1-26.
8. H. Ono and Y. Komori, Logics without the contraction rule, The Journal of Symbolic Logic 50 (1985), pp. 169-201.
9. J. Rebagliato and V. Verdu, On the algebraization of some Gentzen systems, Fundamenta Informaticae, Special Issue: Algebraic Logic and its Applications 18 (1993), pp. 319-338.
10. J. Rebagliato and V. Verdu, Algebraizable Gentzen Systems and the Deduction Theorem for Gentzen Systems, Mathematics Preprint Series No. 175, University of Barcelona, 1995.
11. A.Wronski, BCK-algebras do not form a variety, Math. Japon-ica 28 (1983), pp. 211-213.