A restricted algorithm in the logic system H_t

MaRDI QIDQ3170370zbMATHFDO

Authors Qiaoyun Ma, Guojun Wang

Publication date 29 September 2011

zbMATH Keywords

restricted degree\(H_t\)-algebrafull implicational \(\alpha\)-FMP problem

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52)

Recommendations

• scientific article; zbMATH DE number 7266604
• Generalized semantic MP rule in the \(H_\alpha\) logic system
• The theory of conditional \(\alpha\)-tautologies based on the regular implication operators
• Generalized semantic MP rules and generalized semantic HS rules of the system \(H_a\)
• The restricted logic equivalence relation in two-valued propositional logic and its applications

Cited in

(1)

• Generalized semantic MP rules and generalized semantic HS rules of the system \(H_a\)

This page was built for publication: A restricted algorithm in the logic system \(H_t\)

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