n-fold implicative basic logic is Gödel logic
From MaRDI portal
Recommendations
- Corrigendum to: ``Algebraic semantics for the minimum many-valued modal logic over Ł\(_n\)
- Corrigendum to: ``Logics preserving degrees of truth from varieties of residuated lattices
- Erratum to ``A logic of injectivity
- Corrigendum to ``The logic of the strongest and the weakest t-norms
- Erratum to: ``Suszko's thesis, inferential many-valuedness, and the notion of a logical system
Cites work
- scientific article; zbMATH DE number 3751028 (Why is no real title available?)
- scientific article; zbMATH DE number 1508247 (Why is no real title available?)
- n ‐fold filters in BL‐algebras
- Boolean deductive systems of BL-algebras
- Filter theory of BL algebras
- Hyper-Archimedean BL-algebras are MV-algebras
- Some types of filters in BL algebras
Cited in
(7)- On \(\mathbf{MV} \)-coalgebras over the category of 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
- Generalization of integral filters in BL-algebras and \(n\)-fold integral BL-algebras.
- Some new axiomatic extensions of residuated logics
- Erratum to ``A logic of injectivity
This page was built for publication: \(n\)-fold implicative basic logic is Gödel logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1933768)