Base Revision in Logics Without Negation

Since many non-classical logics are not necessarily closed under negation, we need constructions for belief base revision that do not depend on this assumption. In this chapter, we present a list of six constructions for revision that do not depend on negation. Each construction is characterized by...

Full description

Saved in:
Bibliographic Details
Published inBelief Revision in Non-Classical Logics pp. 91 - 104
Main Author Ribeiro, Márcio Moretto
Format Book Chapter
LanguageEnglish
Published London Springer London 2013
SeriesSpringerBriefs in Computer Science
Subjects
Belief base theory
Kernel contraction
Negation
Non-classical logics
Partial meet contraction
Representation theorems
Online AccessGet full text

Cover

More Information
Summary:Since many non-classical logics are not necessarily closed under negation, we need constructions for belief base revision that do not depend on this assumption. In this chapter, we present a list of six constructions for revision that do not depend on negation. Each construction is characterized by a set of postulates. Furthermore, the representation theorems that prove these characterizations hold in any compact logic.
ISBN:9781447141853
1447141857
ISSN:2191-5768
2191-5776
DOI:10.1007/978-1-4471-4186-0_7