Multimodal Incompleteness Under Weak Negations

Autor(es)

Bueno-Soler, Juliana

• Tipo de documento: Artigo Científico
• Fonte: LOGICA UNIVERSALIS; v. 7, n. 1, p. 11-pg., 2013-03-01.

Resumo

This paper shows that some classes of multimodal paraconsistent logics endowed with weak forms of negation are incompletable with respect to Kripke semantics. The reach of such incompleteness is discussed, and we argue that this shortcoming, more than just a logical predicament, may be relevant for attempts to characterize quantum logics and to handle quantum information and quantum computation. (AU)

• Processo FAPESP: 10/51038-0 - Logical consequence, reasoning and computation - LOGCONS
• Beneficiário: Walter Alexandre Carnielli
• Modalidade de apoio: Auxílio à Pesquisa - Temático