Busca avançada
Ano de início
Entree
(Referência obtida automaticamente do Web of Science, por meio da informação sobre o financiamento pela FAPESP e o número do processo correspondente, incluída na publicação pelos autores.)

Models for anodic and cathodic multimodalities

Texto completo
Autor(es):
Bueno-Soler, Juliana [1]
Número total de Autores: 1
Afiliação do(s) autor(es):
[1] Fed Univ ABC, Ctr Nat Sci & Humanities CCNH, Santo Andre, SP - Brazil
Número total de Afiliações: 1
Tipo de documento: Artigo Científico
Fonte: LOGIC JOURNAL OF THE IGPL; v. 20, n. 2, SI, p. 458-476, APR 2012.
Citações Web of Science: 2
Resumo

A system is classified as multimodal if its language has more than one modal operator as primitive, and such operators are not interdefinable. We extend the anodic and cathodic modal systems, introduced in Bueno-Soler (2009, J. Appl. Non-Classical Logics, 19, 291-310) and Bueno-Soler (2009, PhD Thesis), to a class of the so-called basilar multimodal systems generating, in this way, the classes of anodic and cathodic multimodal logics. The cathodic multimodal systems are defined as extensions of positive multimodal systems (anodic multimodal systems) by adding degrees of negation plus consistency (and inconsistency) operators. In this way, cathodic multimodal systems are logics of formal inconsistency {[}the paraconsistent LFIs, as treated in Carnielli et al. (2007, Handbook of Philosophical Logic, Springer)] enriched with multimodal operators. We focus the attention on models for such classes of systems and discuss how modal possible-translation semantics, as well as possible-worlds (or Kripke semantics), can be defined to interpret basilar cathodic multimodal systems. While anodic systems are modeled by Kripke models only, we introduce the modal possible-translation models for cathodic systems. Such models, given by combinations of three-valued modal logics, besides their own interest, explain the role of non-trivializing contradictions in multimodal environment. (AU)

Processo FAPESP: 04/14107-2 - Logical consequence and combinations of logics: fundaments and efficient applications
Beneficiário:Walter Alexandre Carnielli
Linha de fomento: Auxílio à Pesquisa - Temático
Processo FAPESP: 08/03995-5 - LOGPROB: lógica probabilística - fundamentos e aplicações computacionais
Beneficiário:Marcelo Finger
Linha de fomento: Auxílio à Pesquisa - Temático