Linearization of the BCK-logic

Studia Logica

Volumn 65, Issue 1, 2000, Pages 31-51

  García Olmedo, Francisco M ^a   Rodríguez Salas, Antonio J ^a  

^a UNIVERSITY OF GRANADA   (Spain)

Author keywords

Algebraizable logic; Bck algebras; Chains; Linearization

Indexed keywords

EID: 0009943398     PISSN: 00393215     EISSN: 15728730     Source Type: Journal    
DOI: 10.1023/A:1005290924926     Document Type: Article

References (22)

1. BLOK, W. J., and D. L. PIGOZZI, 'Algebraizable logics', Memoirs of the American Mathematical Society 77 (396): 78, 1989.
2. BLOK, W. J., and D. L. PIGOZZI, 'Local deduction theorems in algebraic logic', volume 54 of Colloq. Math. Soc. Janos Bolyai, North-Holland, Amsterdam, 1991.
3. BLOK, W. J., and J. G. RAFTERY, 'On the quasivariety of BCK-algebras and its subvarieties', Algebra Universalis 33 (1): 68-90, 1995.
4. BOSBACH, B., 'Residuation-grupoids', Bulletin de l'Académie Polonaise des Sciences 22 (2): 103-104, 1974.
5. BULL, R. A., 'The implicational fragment of Dummett's LC', The Journal of Symbolic Logic 27: 189-194, 1962.
6. CORNISH, W. H., T. STURM, and T. TRACZYK, 'Embedding of commutative BCKalgebras into distributive lattice BCK-algebras', Mathematica Japonica 29 (2): 309320, 1984.
7. CZELAKOWSKI, J., 'Local deductions theorems', Studia Logica 45 (4): 377-391, 1986.
8. DIEGO, A., Sur les Algèbres de Hubert, Gauthier-Villars, 1966.
9. DUMMETT, M., 'A propositional calculus with denumerable matrix', The Journal of Symbolic Logic 24: 97-106, 1959.
10. GUZMAN, F., and C. LYNCH, 'Varieties of positive implicative BCK-algebras subdirectly irreducible and free algebras', Mathematica Japonica 37 (1): 27-39, 1992.
11. ISEKI, K., and S. TANAKA, 'An introduction to the theory of BCK-algebras', Mathematica Japonica 23: 1-26, 1978.
12. ISEKI, K., 'An algebra related with a propositional calculus', Proc. Japan Acad. 42: 26-29, 1966.
13. PALASIŃSKI, M., 'On ideals in directed commutative BCK-algebras. Mathematics Seminar Notes 8: 339-342, 1980.
14. PALASIŃSKI, M., 'Some remarks on BCK-algebras', Mathematics Seminar Notes, 8: 137-144, 1980.
15. PALASIŃSKI, M., 'Ideals in BCK-algebras which are lower semilattices', Mathematica Japonica, 26 (2): 245-250, 1981.
16. PALASIŃSKI, M., 'Decomposition of ideals in certain BCK-algebras', Mathematics Seminar Notes 10: 467-471, 1982.
17. PALASIŃSKI, M., 'On a space of prime ideals of a BCK-algebra', Mathematics Seminar Notes 10: 463-465, 1982.
18. RAFTERY, J. G., 'On prime ideals and subdirect decompositions of BCK-algebras', Mathematica Japonica 32 (5): 811-818, 1987.
19. RASIOWA, H., An Algebraic Approach to Non-Classical Logics, North-Holland, 1974.
20. RODRÍGUEZ SALAS, A. J., Un Estudio Algebraico de los Calculas Proposicionales de Łukasiewicz, PhD Thesis, Universitat de Barcelona, Departament de Calcul de Probabilitats i Estadistica Matemàtica, Diciembre 1980.
21. RODRÍGUEZ SALAS, A. J., 'Subvariedades de algebras de Hubert', in: Actas de la II Spanish-Belgian Week, Santiago de Compostela, 1989.
22. TORRENS TORRELL, A., Estudi i Algebraitzacio de Certes Logiques: Algebres D-Completes, PhD Thesis, Universitat de Barcelona, Departament de Calcul de Probabilitats i Estadistica Matemàtica, Gener 1980.