\(n\)-fold implicative basic logic is Gödel logic

DOI10.1007/S00500-011-0761-9zbMath1274.03047OpenAlexW2088587676MaRDI QIDQ1933768

Nganteu Tchikapa, Celestin Lele, Esko Turunen

Publication date: 25 January 2013

Published in: Soft Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00500-011-0761-9

zbMATH Keywords

Gödel logicBL-algebrasGödel algebras\(n\)-fold implicative basic logic

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Other algebras related to logic (03G25)

Related Items (6)

Generalization of integral filters in BL-algebras and \(n\)-fold integral BL-algebras. ⋮ Solution to Turunen’s open problems on n-fold filters ⋮ Fuzzy \(n\)-fold filters of pseudoresiduated lattices ⋮ Some types of generalized fuzzy \(n\)-fold filters in residuated lattices ⋮ On \(\mathbf{MV} \)-coalgebras over the category of BL-algebras ⋮ Some new axiomatic extensions of residuated logics

Cites Work

• Unnamed Item
• Unnamed Item
• Filter theory of BL algebras
• Some types of filters in BL algebras
• Hyper-Archimedean BL-algebras are MV-algebras
• n ‐fold filters in BL‐algebras
• Boolean deductive systems of BL-algebras

This page was built for publication: \(n\)-fold implicative basic logic is Gödel logic