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...
Gardado en:
| Autor Principal: | |
|---|---|
| Formato: | Artigo |
| Idioma: | Chinês |
| Publicado: |
Editorial office of Computer Science
2024-01-01
|
| Series: | Jisuanji kexue |
| Assuntos: | |
| Acceso en liña: | https://www.jsjkx.com/fileup/1002-137X/PDF/1002-137X-2024-51-1-295.pdf |
| Tags: |
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
|