-resolution for medium predicate logic based on an improved form of infinite-valued semantic interpretation

zbMATH Open1265.68250MaRDI QIDQ4900970FDOQ4900970

Authors: Zhenghua Pan, Shengli Zhang 

Publication date: 24 January 2013

Recommendations

• scientific article; zbMATH DE number 4106811
• scientific article; zbMATH DE number 4210110
• scientific article; zbMATH DE number 25595
• Medium logic and Woodruff's three-valued logic
• scientific article; zbMATH DE number 1775534

zbMATH Keywords

resolution principle\(\lambda\)-resolution\(\lambda\)-interpretationmedium predicate logic system

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in artificial intelligence (68T27) Combinatory logic and lambda calculus (03B40)

Cited In (1)

• Semantic interpretation of predicate calculus system of medium logic \(ME^*\) and its soundness and completeness

This page was built for publication: \(\lambda\)-resolution for medium predicate logic based on an improved form of infinite-valued semantic interpretation

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