Possible Translations Semantics
Mostrando 1-3 de 3 artigos, teses e dissertações.
-
1. Concetivos flexiveis : uma abordagem categorial as semanticas de traduções possives
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ω
Publicado em: 2008
-
2. Logics of formal inconsistency
According to the classical consistency presupposition, contradictions have an explosive character: Whenever they are present in a theory, anything goes, and no sensible reasoning can thus take place. A logic is paraconsistent if it disallows such presupposition, and allows instead for some inconsistent yet non-trivial theories to make perfect sense. The Logi
Publicado em: 2005
-
3. Semantica algebrica de traduções possiveis
ormado
Publicado em: 2004