Palavras-chave
Semântica
Como Citar
Resumo
In this paper we propose a very general definition of combination of logics by means of the concept of sheaves of logics. We first discuss some properties of this general definition and list some problems, as well as connections to related work. As applications of our abstract setting, we show that the notion of possible-translations semantics, introduced in previous papers by first author, can be described in categorial terms. Possible-translations semantics constitute illustrative cases, since they provide a new semantical account for abstract logical systems, particularly for many-valued and paraconsistent logics.
Referências
Blackburne, P. & de Rijke, M. (1997).Zooming in,zooming out “, Journal of Logic, Language and Information, 6, nº 1, pp. 5-31.
Caicedo, X. (1995).Investigaciones acerca de los conectivos intuicionistas, Revista de la Academia Colombiana de Ciencias Exactas, Física y Naturales, vol. XIX, nº75, pp. 705-716.
Carnielli, W.A. (1990). “Many –valued logics and plausible reasoning”. In: Proceedings of the XX International Congresso n Many- Valued Logics. IEEE Computer Society. (University of Charlotte, North Carolina), pp. 328-335.
Carnielli, W.A. (s.d). Possible-translation semantics for para-consistent logics to appear in: Frontiers in Paraconsistent Logic, Proceedings of the I World Congresso on Paraconsistency (Ghent, 1998), D. Battens, C. Mortensen, G. Priest and J.P. Van Bendegem (Ed.), King College Publications.
Carnielli, W.A. & D’Ottaviano, I.M.L. (1997). Translations between logical systems: a manifesto, Logique & Analyse, 157, pp. 67-81.
Carnielli, W.A. & Farinãs Del Cerro, L. & Lima-Marques, M. (1991). Contextual negations and reasoning with contradictions, in: Proceedings of the 12th International Join Conference on Artificial Intelligence, pp 532-537, Morgan Kaufman, Sydney, Australia.
Carnielli, W.A. & Lima-Marques, M. (1999). “Society semantics and multiple-valued logics”, in: Advances in Contemporary Logic and Computer Science, Proceedings of the XI Brazilian Logic Meeting, W.A. Carnielli, I. M. L. D’Ottaviano (Ed.), Contemporary Mathematics, 235, pp. 33-52.
Carnielli, W.A. & Marcos, J. (s.d). Possible_translations semantics and dual logics, to appear in Soft Computing.
Caleiro, C. Sernadas, C. & Sernadas, A. (manuscript). Parameterisation of logics.
Goguen, J. (1992). Sheaf Semantics for Concurrent Interacting Objects, Math. Structures Comput. Sci. 2, nº2, pp. 159-191.
Lima-Marques, M. (1992). De la connaissance à la paraconsistance: um modele d’application pour la résolution de conflits arériens, Ph.D. thesis Université Paul Sabatier, Toulouse, France, December, 1992.
Marcos, J. Carnielli, W.A. (manuscript) Limits for paraconsistent calculi.
Marcus, J. (1999). Semânticas de Traduções Possíveis Master Thesis, Universidade Estadual de Campinas, IFCH.
Monteiro, L. & Pereira, F. (1986). A sheaf-theoretic modelo f concurrency. Technical Report CSLI-86-62, Center for the Study of Language and Information, Stanford University, October, 1986.
Sette, A.M.(1973). On the propositional calculus P¹, Mathematica Japonicae, 18, pp. 173-180.
Sette A.M. & Carnielli, W.A. (1995). Maximal weakly intuitionistic logic, Studia Logica,55, pp. 181-203.
Este trabalho está licenciado sob uma licença Creative Commons Attribution 4.0 International License.
Copyright (c) 1999 Manuscrito: Revista Internacional de Filosofia
Downloads
