Please use this identifier to cite or link to this item:
Type: Artigo de periódico
Title: Combining Valuations With Society Semantics
Author: Fernandez V.L.
Coniglio M.E.
Abstract: Society Semantics, introduced by W. Carnielli and M. Lima-Marques, is a method for obtaining new logics from the combination of agents (valuations) of a given logic. The goal of this paper is to present several generalizations of this method, as well as to show some applications to many-valued logics. After a reformulation of Society Semantics in a wider setting, we develop in detail two examples of application of the new formalism, characterizing a hierarchy of paraconsistent logics called Pn (for n ? N) and a hierarchy of paracomplete logics In (for n ? N). We also propose three further generalizations, obtaining Society Semantics for several many-valued logics, including a hierarchy of logics called InPk which are both paraconsistent and paracomplete.
Rights: fechado
Identifier DOI: 10.3166/jancl.13.21-46
Date Issue: 2003
Appears in Collections:Unicamp - Artigos e Outros Documentos

Files in This Item:
File Description SizeFormat 
2-s2.0-14044270059.pdf223.07 kBAdobe PDFView/Open

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.