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

zbMATH Open1150.03303MaRDI QIDQ3501133FDOQ3501133

Authors: Xiaohong Guan, Guojun Wang, Yanhong She 

Publication date: 3 June 2008

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\)

zbMATH Keywords

many-valued logictautologygeneralized semantic HS rulegeneralized semantic MP rule

Mathematics Subject Classification ID

Many-valued logic (03B50)

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)