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...
Guardat en:
| Autor principal: | |
|---|---|
| Format: | Artigo |
| Idioma: | Chinês |
| Publicat: |
Editorial office of Computer Science
2024-01-01
|
| Col·lecció: | Jisuanji kexue |
| Matèries: | |
| Accés en línia: | https://www.jsjkx.com/fileup/1002-137X/PDF/1002-137X-2024-51-1-295.pdf |
| Etiquetes: |
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|