Please use this identifier to cite or link to this item:
|Type:||Artigo de periódico|
|Title:||Combining Valuations With Society Semantics|
|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.|
|Appears in Collections:||Unicamp - Artigos e Outros Documentos|
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.