scientific article; zbMATH DE number 6907668

DOI10.6040/J.ISSN.1671-9352.0.2017.058MaRDI QIDQ3175433zbMATH OpenFDO

Authors Ying Liang, Yanli Cui, Hongbo Wu

Publication date 18 July 2018

Full work available at URL https://doi.org/10.6040/J.ISSN.1671-9352.0.2017.058

zbMATH Keywords

deduction systemdivisibilityfuzzy logicpropositional logic systemresiduated lattice

Mathematics Subject Classification ID

Abstract deductive systems (03B22) Fuzzy logic; logic of vagueness (03B52) Other algebras related to logic (03G25)

Recommendations

• On the lattice of deductive systems of a BL-algebra
• Deductive systems of BL-algebras
• On the lattice of deductive systems of a residuated lattice
• scientific article; zbMATH DE number 2186522
• scientific article; zbMATH DE number 1824725
• Boolean deductive systems of BL-algebras
• STRONG DEDUCTIVE SYSTEMS OF BL-ALGEBRAS
• Residuated lattices. An algebraic glimpse at substructural logics
• Lattice-theoretic properties of algebras of logic
• GRISLY DEDUCTIVE SYSTEMS OF BL-ALGEBRAS

Cited in

(2)

• On the lattice of deductive systems of a residuated lattice
• Strong congruence relations and deductive systems in BL propositional logic system

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3175433)