Semântica de sociedade para lógicas n-valentes

a combinação entre sistemas lógicos (tanto no aspecto sintático como no semântico) e uma disciplina que surgiu durante a década de 90 como resposta a diversos problemas (matemáticos, filosóficos e da informática), planteados dentro da lógica formal. A presente dissertação estuda formalmente as características fundamentais de uma classe de combinações entre semânticas matriciais, denominada """"semântica de sociedades"""" a qual foi definida por W. Carnielli e M. Lima-Marques em 1999 (ver [CLM99]) com o objetivo de oferecer semânticas alternativas para as lógicas paraconsistentes P¹ e P², e para as lógicas paracompletas I¹ e I² (ver [Set 73], [SC 95]). Introduzimos nesta dissertação uma definição geral da Semântica de Sociedades e mostramos aplicações a outras lógicas paraconsitentes e paracompletas. Os resultados fundamentais provados aqui são:..- Obtemos de forma geral uma Semântica de Sociedades para a Hierarquia ..{P-----n} nein, assim como fornecemos uma Semântica de Sociedades para a hierarquia paracompleta {In}nein. Em ambos os casos, as semânticas obtidas surgem como combinação entre semânticas de complexidade menor. ..- Definimos a hierarquia {InPk} nkein unindo as duas hierarquias antes mencionadas. Para o cálculo I¹P¹ em particular, achamos também uma semântica de sociedades. ..- Discutimos a possibilidade de estender o formalismo inicial, considerando como caso paradigmático o método sugerido por J. Marcos (ver [Mar 0 ? ]) o qual permiti obter uma semântica de sociedades para o cálculo t3 de Lukasiewicz...- Finalmente, discutimos a relação entre a Semântica de Sociedades e outros tipos de combinações entre Lógicas, tais como a Semântica de Traduções possíveis (ver [Mar 99]). Como resultados laterais, mas dignos de interesse, fornecemos axiomáticas corretas e completas para os cálculos das hierarquias mencionadas anteriormente. ....Referências:..[CLM 99] W. Carnielli, M. Lima Marques: Society Semantics and Many Valued Logics. Advances in Contemporary Logic and Computer Science. W. Carnielli, I. D´Ottaviano (eds.) Contemporary Matheamtics 235, p. 33-52 . American Mathematical Society, 1999. ..[Mar 99] J. Marcos: Semântica de Traduções Possíveis. Dissertação de Mestrado. IFCH, UNICAMP. 1999. ..[Mar 0?] J. Marcos: Many Values, many semantics, Versão Preliminar...[Set 73] A. M. Sette: On the proposiotional calculus P¹. Mathematica Japonicae, v. 18. p. 173-180, 1973...[SC 95] A. M. Sette, W. Carnielli: Maximal weakly - intuitionistic Logics. Studia Logica. v. 55. p. 181-203. 1995.