Nonmonotonic Proof Systems: Algebraic Foundations
Copyright policy )Nonmonotonic Proof Systems: Algebraic Foundations
A general framework for the algebraization of a category of nonmonotonic logics has been suggested. This method has been applied to the systems of Gabbay, and to Cumulative, Preferential and Ranked systems. The minimal logics required to serve as the base logics for the above systems are investigated. MAK triples and KLM triples are formed in ways similar to MAK models and KLM models but now on the algebraic structures for the nonmonotonic systems, thereby a new type of semantics is given to these systems.
- University of Calcutta India
Logic in artificial intelligence, cumulative system, nonmonotonic consequence relations, nonmonotonic logic, Other nonclassical logic, ranked system, preferential system, Other algebras related to logic, Categorical logic, topoi, algebraic semantics, nonmonotonic reasoning
Logic in artificial intelligence, cumulative system, nonmonotonic consequence relations, nonmonotonic logic, Other nonclassical logic, ranked system, preferential system, Other algebras related to logic, Categorical logic, topoi, algebraic semantics, nonmonotonic reasoning
selected citations These citations are derived from selected sources.This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).0 popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.Average influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).Average impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.Average
Citations provided by BIP!Popularity provided by BIP!