首页   按字顺浏览 期刊浏览 卷期浏览 A temporal negative normal form which preserves implicants and implicates
A temporal negative normal form which preserves implicants and implicates

 

作者: Pablo Cordero,   Manuel Enciso,   InmaP. de Guzmán,  

 

期刊: Journal of Applied Non-Classical Logics  （Taylor Available online 2000）
卷期: Volume 10, issue 3-4  

页码: 243-272

 

ISSN:1166-3081

 

年代: 2000

 

DOI:10.1080/11663081.2000.10510999

 

出版商: Taylor & Francis Group

 

关键词: Temporal Logics;Automated Theorem Proving;Implicants/Implicates

 

数据来源: Taylor

 

摘要:

Most theorem provers for Classical Logic transform the input formula into a particular normal form. This tranformation is done before the execution of the algorithm (Resolution and Dissolution) or it is integrated into the deductive algorithm (Tableaux).

 

点击下载:  PDF (1451KB)



返 回