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...
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Artigo |
| Lingua: | Chinês |
| Pubblicazione: |
Editorial office of Computer Science
2024-01-01
|
| Serie: | Jisuanji kexue |
| Soggetti: | |
| Accesso online: | https://www.jsjkx.com/fileup/1002-137X/PDF/1002-137X-2024-51-1-295.pdf |
| Tags: |
Nessun Tag, puoi essere il primo ad aggiungerne!!
|