论文部分内容阅读
Several nonmonotonic 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.