A restricted algorithm in the logic system H_t

zbMATH Open1240.03013MaRDI QIDQ3170370FDOQ3170370

Authors: Qiaoyun Ma, Guojun Wang 

Publication date: 29 September 2011

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

zbMATH Keywords

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

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52)

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)