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 In Pk which are both paraconsistent and paracomplete.
Publication Year: 2003
Publication Date: 2003-01-01
Language: en
Type: article
Indexed In: ['crossref']
Access and Citation
Cited By Count: 33
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot