Abstract
In the paper we obtain a new characterization of the BCK-algebras which are subdirect product of BCK-chains. We give an axiomatic algebraizable extension of the BCK-calculus, by means of a recursively enumerable set of axioms, such that its equivalent algebraic semantics is definitionally equivalent to the quasivariety of BCK-algebras generated by the BCK-chains. We propose the concept of "linearization of a system" and we give some examples.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Blok, W. J., and D. L. Pigozzi, 'Algebraizable logics', Memoirs of the American Mathematical Society 77(396): 78, 1989.
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.
Blok, W. J., and J. G. Raftery, 'On the quasivariety of BCK-algebras and its subvarieties', Algebra Universalis 33(1): 68-90, 1995.
Bosbach, B., 'Residuation-grupoids', Bulletin de l'Académie Polonaise des Sciences 22(2): 103-104, 1974.
Bull, R. A., 'The implicational fragment of Dummett's LC', The Journal of Symbolic Logic 27: 189-194, 1962.
Cornish, W. H., T. Sturm, and T. Traczyk, 'Embedding of commutative BCK-algebras into distributive lattice BCK-algebras', Mathematica Japonica 29(2): 309-320, 1984.
Czelakowski, J., 'Local deductions theorems', Studia Logica 45(4): 377-391, 1986.
Diego, A., Sur les Algèbres de Hilbert, Gauthier-Villars, 1966.
Dummett, M., 'A propositional calculus with denumerable matrix', The Journal of Symbolic Logic 24: 97-106, 1959.
Guzman, F., and C. Lynch, 'Varieties of positive implicative BCK-algebras subdirectly irreducible and free algebras', Mathematica Japonica 37(1): 27-39, 1992.
Iseki, K., and S. Tanaka, 'An introduction to the theory of BCK-algebras', Mathematica Japonica 23: 1-26, 1978.
Iseki, K., 'An algebra related with a propositional calculus', Proc. Japan Acad. 42: 26-29, 1966.
PaŁasiŃski, M., 'On ideals in directed commutative BCK-algebras. Mathematics Seminar Notes 8: 339-342, 1980.
PaŁasiŃski, M., 'Some remarks on BCK-algebras', Mathematics Seminar Notes, 8: 137-144, 1980.
PaŁasiŃski, M., 'Ideals in BCK-algebras which are lower semilattices', Mathematica Japonica, 26(2): 245-250, 1981.
PaŁasiŃski, M., 'Decomposition of ideals in certain BCK-algebras', Mathematics Seminar Notes 10: 467-471, 1982.
PaŁasiŃski, M., 'On a space of prime ideals of a BCK-algebra', Mathematics Seminar Notes 10: 463-465, 1982.
Raftery, J. G., 'On prime ideals and subdirect decompositions of BCK-algebras', Mathematica Japonica 32(5): 811-818, 1987.
Rasiowa, H., An Algebraic Approach to Non-Classical Logics, North-Holland, 1974.
RodrÍguez Salas, A. J., Un Estudio Algebraico de los Cálculos Proposicionales de Łukasiewicz, PhD Thesis, Universitat de Barcelona, Departament de Càlcul de Probabilitats i Estadística Matemàtica, Diciembre 1980.
RodrÍguez Salas, A. J., 'Subvariedades de álgebras de Hilbert', in: Actas de la II Spanish-Belgian Week, Santiago de Compostela, 1989.
Torrens Torrell, A., Estudi i Algebrailzació de Certes Lògiques: Àlgebres D-Completes, PhD Thesis, Universitat de Barcelona, Departament de Càlcul de Probabilitats i Estadística Matemàtica, Gener 1980.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
García Olmedo, F.M., Rodríguez Salas, A.J. Linearization of the BCK-logic. Studia Logica 65, 31–51 (2000). https://doi.org/10.1023/A:1005290924926
Issue Date:
DOI: https://doi.org/10.1023/A:1005290924926