|
|
重庆邮电大学学报(自然科学版) 2008
Nonmonotonic logics and algebrasKeywords: nonmonotonicity,Boolean,algebra,sequent,calculus,Lindenbaum,algebra Abstract: Severalnonmonotoniclogicsystemstogetherwiththeiralgebraicsemanticsarediscussed.NMalgebraisdefined.AnelegantconstructionofanNMalgebrastartingfromaBooleanalgebraisdescribedwhichgivesrisetoafewinterestingalgebraicissues.
|
