|
重庆邮电大学学报(自然科学版) 2008
Nonmonotonic logics and algebrasKeywords: nonmonotonicity,Boolean algebra,sequent calculus,Lindenbaum algebra Abstract: Several nonmonotonie logic systems together with their algebraic semantics are discussed. NM-algebra is defined.An elegant construction of an NM-algebra starting from a Boolean algebra is described which gives rise to a few interesting algebraic issues.
|