首页   按字顺浏览 期刊浏览 卷期浏览 Generalized compactness of nonmonotonic inference operations
Generalized compactness of nonmonotonic inference operations

 

作者: Heinrich Herre,  

 

期刊: Journal of Applied Non-Classical Logics  （Taylor Available online 1995）
卷期: Volume 5, issue 1  

页码: 121-135

 

ISSN:1166-3081

 

年代: 1995

 

DOI:10.1080/11663081.1995.10510846

 

出版商: Taylor & Francis Group

 

关键词: nonmonotonic inference;compactness;model theory

 

数据来源: Taylor

 

摘要:

The aim of the present paper is to analyse compactness properties of nonmonotonic inference operations within the framework of model theory. For this purpose the concepts of a deductive frame and its semantical counterpart, a semantical frame are introduced. Compactness properties play a fundamental in the study of non-monotonic inference, and in the paper several new versions of compactness are studied.

 

点击下载:  PDF (864KB)



返 回