Society Semantics, introduced
in [5] 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 increasing generalizations, obtaining
Society Semantics for several many-valued logics, including a hierarchy
of logics called InPk which are both paraconsistent
and paracomplete.
Keywords: society semantics, paraconsistent
logics, paracomplete logics, many-valued logics, combinations of logics,
agents.
|
