Rule of inference in gradational lattice-valued propositional logic L_vpl

MaRDI QIDQ3380968zbMATH OpenFDO

Authors Zhiyan Chang, Bei Liu, Shuwei Chen, Yang Xu

Publication date 29 September 2021

zbMATH Keywords

semanticsyntaxclosenessrule of inferencelattice-valued propositional logic

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52)

Recommendations

• scientific article; zbMATH DE number 5041127
• \(L\)-valued propositional logic \(L_{\text{vpl}}\)
• Linguistic truth-valued lattice-valued propositional logic system \(\ell P(X)\) based on linguistic truth-valued lattice implication algebra
• scientific article; zbMATH DE number 640717
• A consequence relation for graded inference within the frame of infinite-valued Łukasiewicz logic

Cited in

(2)

• scientific article; zbMATH DE number 5041127 (Why is no real title available?)
• Study of inference rules for quantifiers in first-order logic inference system

This page was built for publication: Rule of inference in gradational lattice-valued propositional logic \(\mathrm{L_{vpl}}\)

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