Construction and Compounding of a Class of Regular Standard Contradictions in Propositional Logic

The resolution principle is a brief,reliable and complete inference rule in automated reasoning and the deductive theory of standard contradiction separation is an extension of binary resolution.Since the structure of the standard contradiction is very complex and there are few existing contradictio...

Full description

Bibliographic Details
Published in:Jisuanji kexue
Main Author: ZANG Hui, HE Xingxing, WANG Chenglong, LI Yingfang, LI Tianrui
Format: Article
Language:Chinese
Published: Editorial office of Computer Science 2024-01-01
Subjects:
propositional logic|standard contradiction|composite regular standard contradiction|composite strategy|literals adding strategy
Online Access:https://www.jsjkx.com/fileup/1002-137X/PDF/1002-137X-2024-51-1-295.pdf

Internet

https://www.jsjkx.com/fileup/1002-137X/PDF/1002-137X-2024-51-1-295.pdf

Similar Items