Concetivos flexiveis : uma abordagem categorial as semanticas de traduções possives

AUTOR(ES)
DATA DE PUBLICAÇÃO

2008

RESUMO

We present a general study of a new formalism of decomposition of logics, the Possible- Translations Coverings (in short PTC s) which constitute a formal version of Possible-Translations Semantics, introduced by W. Carnielli in 1990. We show how the adoption of a more general notion of propositional signatures morphism allows us to define a category Sigω, in which the connectives, when translated from a signature to another one, enjoy of great flexibility. Essentially, Sigω -morphisms will be multifunctions instead of functions. From Sigω we construct the category Logω of tarskian logics and morphisms between them (these .are functions obtained from signature morphisms, that is, from multifunctions) . We show how to define in Logω the set of possible translations of a given formula, and we define the notion of a PTC for a logic L. We analyze some properties of PTC s and give concrete examples of the above mentioned constructions. We conclude with a discussion of the approaches to be used in a possible continuation of these investigations.

ASSUNTO(S)

linguagens formais mathematical logic logica simbolica e matematica logica matematica não-classica symbolic and mathematical formal languages linguagens formais - semantica nonclassical logic formal languages

ACESSO AO ARTIGO

Documentos Relacionados