Artículos de revistas
Combining Valuations With Society Semantics
Registro en:
Journal Of Applied Non-classical Logics. , v. 13, n. 1, p. 21 - 46, 2003.
11663081
10.3166/jancl.13.21-46
2-s2.0-14044270059
Autor
Fernandez V.L.
Coniglio M.E.
Institución
Resumen
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. 13 1 21 46 BéZiau, J., The logic of confussion (2001) Proceedings Of The International Conference On Artificial Intelligence (Ic-Ai, 2 (2001), pp. 822-827. , [BéZ 01] Arabnia H. R., Ed. Csrea Press Blackburn, P., De Rijke, M., Why combine logics? (1997) Studia Logica, 59 (1), pp. 5-27. , [Bla 97] Caleiro, C., Carnielli, W., Coniglio, M., Sernadas, A., Sernadas, C., Fibring non-truth-functional logics: Completeness preservation (2003) Journal Of Logic, Language And Information, 12 (2), pp. 183-211. , [Cal 03] Carnielli, W., Coniglio, M., A categorial approach to the combination of logics (1999) Manuscrito, 22 (2), pp. 69-94. , [Car 99A] Carnielli, W., Lima-Marques, M., Society semantics for multiple-valued logics (1999) Advances In Contemporary Logic And Computer Science, 235 Of Contemporary Mathematics Series, pp. 33-52. , [Car 99B] Carnielli W. A., D'ottaviano I. M. L., Eds. American Mathematical Society Carnielli, W., Possible-translations semantics for paraconsistent logics (2000) Frontiers Of Paraconsistent Logic: Proceedings Of The I World Congress On Paraconsistency, Logic And Computation Series, pp. 159-172. , [Car 00] Batens D., Mortensen C., Priest G., Van Bendegem J. P., Eds. Baldock: Research Studies Press, King's College Publications Da Costa, N., BéZiau, J., ThéOrie De La Valuation (1994) Logique & Analyse, 34 (146), pp. 95-117. , [Cos 94] Fernández, V., (2001) SemâNtica De Sociedades Para LóGicas Nvalentes (Society Semantics For N-Valued Logics, In Portuguese), , http://www.Cle.Unicamp.Br/Prof/Coniglio/Teaching.Htm, [Fer 01] Master's Thesis, Ifch-Unicamp, Campinas, Brazil, Available At Gabbay, D., Fibred semantics and the weaving of logics: Part 1 (1996) Journal Of Symbolic Logic, 61 (4), pp. 1057-1120. , [Gab 96] Gotwald, S., (2001) A Treatise On Many-Valued Logic, , [Got 01] Research Studies Press Ltd JáSkowski, S., Un Calcul De Propositions Pour Les SysteMes DéDuctifs Contradictoires (1948) Studia Soc. Scien. Torunensis Sect. A, 1, pp. 55-77. , [JáS 48] (1969) English Translation In Studia Logica, 24, pp. 143-160 Marcos, J., (1999) SemâNticas De TraduçÕEs PossíVeis (Possible Translations Semantics, In Portuguese), , [Mar 99] Master's Thesis, Ifch-Unicamp, Campinas, Brazil Marcos, J., (2000) Many Values, Many Semantics, , [Mar 00] Draft Rescher, N., (1993) Many-Valued Logic, Gregg Revivals, , [Res 93] 2Nd. Edition Sette, A., On the propositional calculus p 1 (1973) Mathematica Japonicae, 18 (13), pp. 173-180. , [Set 73] Sette, A., Carnielli, W., Maximal weakly-intuitionistic logics (1995) Studia Logica, 55, pp. 181-203. , [Set 95] Wójcicki, R., (1984) Lectures On Propositional Calculi, , [Wój 84] The Publishing House Of The Polish Academy Of Sciences, Warsaw Wójcicki, R., (1988) Theory Of Logical Calculi, Synthese Library, , [Wój 88] Kluwer Academic Publishers Zanardo, A., Sernadas, A., Sernadas, C., Fibring: Completeness preservation (2001) Journal Of Symbolic Logic, 66 (1), pp. 414-439. , [Zan 01]