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

MaRDI QIDQ4900970zbMATH OpenFDO

Authors Zhenghua Pan, Shengli Zhang

Publication date 24 January 2013

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)

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

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)