Contracting Logics [chapter]

Márcio M. Ribeiro, Marcelo E. Coniglio
2012 Lecture Notes in Computer Science  
In this paper, inspired in the field of belief revision, it is presented a novel operation for defining a new logic given a known logic. The operation consists in removing some (maybe undesirable) derived rule from a logic. Besides removing the 'undesirable' rule, this operation (called contraction) should change the logic in a minimal way. This paper presents formal definitions for contraction operations over logics, both as sets of rationality postulates and by means of concrete
more » ... This allowed us to generalize several notions of maximality of logics presented in the literature. Furthermore, the proposed constructions are applied to the study of some paraconsistent and intermediate logics.
doi:10.1007/978-3-642-32621-9_20 fatcat:cfjuez672jcg7nfw3zttuipvr4