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 ...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.展开更多
文摘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.