Generalized semantic MP rules and generalized semantic HS rules of the system H_a

MaRDI QIDQ3501133zbMATH OpenFDO

Authors Xiaohong Guan, Guojun Wang, Yanhong She

Publication date 3 June 2008

zbMATH Keywords

many-valued logictautologygeneralized semantic HS rulegeneralized semantic MP rule

Mathematics Subject Classification ID

Many-valued logic (03B50)

Recommendations

• Generalized semantic MP rule in the \(H_\alpha\) logic system
• Semantic MP, HS rule of generalized tautologies in the RDP logic system
• scientific article; zbMATH DE number 4091465
• Theory of generalized tautology in Gaines-Rescher's logic system
• A restricted algorithm in the logic system \(H_t\)

Cited in

(3)

• A restricted algorithm in the logic system \(H_t\)
• Generalized semantic MP rule in the \(H_\alpha\) logic system
• Semantic MP, HS rule of generalized tautologies in the RDP logic system

This page was built for publication: Generalized semantic MP rules and generalized semantic HS rules of the system \(H_a\)

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