Abstract
We prove that Haveshki’s and Eslami’s n-fold implicative basic logic is Gödel logic and n-fold positive implicative basic logic is a fragment of ukasiewicz logic.
Similar content being viewed by others
References
Burris S, Sankappanavar HP (1981) A course in universal algebra. Springer, New York
Hájek P (1998) Metamathematics of fuzzy logic. Trends in Logic, Studia Logica Library, vol 4. Kluwer, Dordrecht
Haveshki M, Borumand Saeid A, Eslami E (2006) Some types of filters in BL-algebras. Soft Comput 10:657–664
Haveshki M, Eslami E (2008) n-fold filters in BL-algebras. Math Log Quart 54:176–186
Höhle (1995) Commutative, residuated \(\ell\)-monoids. In: Höhle U, Klement E (eds) Non-classical logics and their applications to fuzzy subsets, pp 53–106. Kluwer, Dordrecht
Kondo MM, Dudek WA (2008) Filter theory of BL-algebras. Soft Comput 12:419–423
Turunen E (1999) BL-algebras of basic fuzzy logic. Mathware Soft Comput 6:49–61
Turunen E (2001) Boolean deductive systems of BL-algebras. Arch Math Log 40:467–473
Turunen E (2007) Hyper-Archimedean BL-algebras are MV-algebras. Math Log Quart 53:170–177
Author information
Authors and Affiliations
Corresponding author
Additional information
An erratum to this article can be found at http://dx.doi.org/10.1007/s00500-011-0795-z
Rights and permissions
About this article
Cite this article
Turunen, E., Tchikapa, N. & Lele, C. n-Fold implicative basic logic is Gödel logic. Soft Comput 16, 177–181 (2012). https://doi.org/10.1007/s00500-011-0761-9
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00500-011-0761-9