Nonmonotonic proof systems: Algebraic foundations

被引：0
作者：
Ghosh, S
Chakraborty, MK
机构：
[1] Siksha Bhavana, Dept Math, Santini Ketan, W Bengal, India
[2] Univ Calcutta, Dept Pure Math, Kolkata 700019, W Bengal, India
来源：
FUNDAMENTA INFORMATICAE | 2004年 / 59卷 / 01期
关键词：
nonmonotonic logic; algebraic semantics; cumulative system; preferential system; ranked system;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
A general framework for the algebraization of a category of nonmonotonic logics has been suggested. This method has been applied to the systems of Gabbay, and to Cumulative, Preferential and Ranked systems. The minimal logics required to serve as the base logics for the above systems are investigated. MAK triples and KLM triples are formed in ways similar to MAK models and KLM models but now on the algebraic structures for the nonmonotonic systems, thereby a new type of semantics is given to these systems.
引用
收藏
页码：39 / 65
页数：27
相关论文
共 10 条
1