Nonmonotonic logics and algebras

摘要：

Several nonmonototuc logic systems together with their algebraic semantics are discussed.NM-algebra is definedAn elegant construction of an NM-algebra starting from a Boolean algebra is described which gives rise to a few interestingalgebraic issues.

关键词： nonmonotonicity Boolean algebra sequent calculus Lindenbaum algebra

作者: CHAKRABORTY Mihir Kr GHOSH Sujata

作者单位: Department of Pure Mathematics, University of Calcutta, Kolkata 700019, India Center for Soft Computing Research, Indian Statistical Institute, Kolkata 700108, India;Department o

会议类型: 国内会议

会议名称: 2008国际知识技术论坛(IFKT2008)

会议地点: 重庆

会议语种:英文

页码: 355-360

在线出版日期: 2008-05-13（万方平台首次上网日期，不代表论文的发表时间）