Glivenko like theorems in natural expansions of BCK-logic

Mathematical Logic Quarterly

Volumn 50, Issue 2, 2004, Pages 111-125

  Cignoli, Roberto ^a   Torrell, Antoni Torrens ^b  

^a UNIVERSIDAD DE BUENOS AIRES   (Argentina)

^b UNIVERSITY OF BARCELONA   (Spain)

Author keywords

Algebraic semantics; Bounded BCK algebra; Bounded BCK logic; Bounded pocrim; Glivenko's theorem; Involutive BCK algebra; Natural expansion of a logic; Natural expansion of a quasivariety; Regular element

Indexed keywords

EID: 26044440724     PISSN: 09425616     EISSN: None     Source Type: Journal    
DOI: 10.1002/malq.200310082     Document Type: Article

References (27)

1. J. C. Abbott, Implicational algebras. Bull. Math. Soc. Sci. Math. R. S. Roumanie 11, 3-23 (1967).
2. G. Birkhoff, Lattice Theory, 3rd edition (Amer. Math. Soc., Providence 1967).
3. W. J. Blok and I. Ferreirim, On the structure of hoops. Algebra Universalis 43, 233 - 257 (2000).
4. W. J. Blok and D. Pigozzi, Algebraizable Logics. Memoirs Amer. Math. Soc. 77, N. 396 (1989).
5. W. J. Blok and J. G. Raftery, On the quasivariety of BCK-algebras and its subvarieties. Algebra Universalis 33, 68 - 90 (1995).
6. W. J. Blok and J. G. Raftery, Varieties of commutative residuated integral pomonoids and their residuation subreducts. J. Algebra 190, 280 - 328 (1997).
7. S. Bums and H. P. Sankappanavar, A Course in Universal Algebra (Springer-Verlag, New York 1981).
8. X. Caicedo, Implicit connectives of algebraizable logic. Manuscript May 2003.
9. X. Caicedo and R. Cignoli, An algebraic approach to intuitionistic connectives. J. Symbolic Logic 66, 1620 - 1636 (2001).
10. R. Cignoli, n-valued connectives. In: Information Technology. Proceedings Fourth International Symposium on Economic Informatics, May 1999 (I. Smeureanu and I. Rosca, eds.), pp. 923-929 (INFOREC Printing House, Bucharest 1999).
11. R. Cignoli, M. I. D'Ottaviano, and D. Mundici, Algebraic Foundations of Many-valued Reasoning (Kluwer Academic Publ., Dordrecht 2000).
12. R. Cignoli and A. Torrens, Free algebras in varieties of BL-algebras with a Boolean retract. Algebra Universalis 48, 55 - 79 (2002).
13. R. Cignoli and A. Torrens, Hájek basic fuzzy logic and Lukasiewicz infinite-valued logic. Archiv Math. Logic 42, 361-370 (2003).
14. F. Esteva and L. Godo, Monoidal t-norm based logic: towards a logic for left-continuous t-norms. Fuzzy Sets and Systems 124, 271 - 288 (2001).
15. F. Esteva, L. Godo, and A. García-Cerdaña, On the hierarchy of t-norm based residuated fuzzy logic. In: Beyond Two: Theory and Applications of Multiple-Valued Logic (M. Fitting and E. Orlowska, eds.), pp. 251 - 272 (Physica-Verlag, Berlin 2003).
16. V. Glivenko, Sur quelques points de la logique de M. Brouwer. Bull. Acad. Sci. Belgique 15, 183 - 188 (1929).
17. G. Grätzer, General Theory of Lattices, 2nd edition (Birkhäuser, Basel 1998).
18. V. N. Grišin, Predicate and set-theoretical calculi based on logic without contractions. Math. USSR Izvestija 18, 41 - 59 (1982).
19. D. Higgs, Dually residuated commutative monoids with identity element as least elements do no form an equational class. Math. Japonica 29, 69 - 74 (1984).
20. P. M. Idziak, Lattice operations in BCK-algebras. Math. Japonica 29, 839 - 846 (1984).
21. P. M. Idziak, Filters and congruences in BCK-semilattices. Math. Japonica 29, 975 - 890 (1984).
22. K. Iséki and S. Tanaka, Ideal theory of BCK-algebras. Math. Japonica 21, 351 - 366 (1976).
23. K. Iséki and S. Tanaka, An introduction to the theory of BCK-algebras. Math. Japonica 23, 1 - 26 (1978).
24. T. Kowalski and H. Ono, Residuated lattices: An algebraic glimpse at logics without contraction. Preliminary report.
25. M. Palasiński, Some remarks on BCK-algebras. Math. Seminar Notes Kobe Univ. 8, 137 - 144 (1980).
26. A. Torrens, On the role of the polynomial (X → Y) → Y in some implicative algebras. Z. Math. Logik Grundlagen Math. 34, 117-122 (1988).
27. A. Wroński, BCK-algebras do not form a variety. Math. Japonica 28, 211 - 213 (1983).