| Texto completo | |
| Autor(es): |
Coniglio, Marcelo E.
;
Golzio, Ana Claudia
Número total de Autores: 2
|
| Tipo de documento: | Artigo Científico |
| Fonte: | SOFT COMPUTING; v. 23, n. 7, p. 12-pg., 2019-04-01. |
| Resumo | |
In 1988, J. Ivlev proposed some (non-normal) modal systems which are semantically characterized by four-valued non-deterministic matrices in the sense of A. Avron and I. Lev. Swap structures are multialgebras (a.k.a. hyperalgebras) of a special kind, which were introduced in 2016 by W. Carnielli and M. Coniglio in order to give a non-deterministic semantical account for several paraconsistent logics known as logics of formal inconsistency, which are not algebraizable by means of the standard techniques. Each swap structure induces naturally a non-deterministic matrix. The aim of this paper is to obtain a swap structures semantics for some Ivlev-like modal systems proposed in 2015 by M. Coniglio, L. Farinas del Cerro and N. Peron. Completeness results will be stated by means of the notion of Lindenbaum-Tarski swap structures, which constitute a natural generalization to multialgebras of the concept of Lindenbaum-Tarski algebras. (AU) | |
| Processo FAPESP: | 13/04568-1 - Matrizes não-determinísticas: teoria e aplicações à semântica algébrica |
| Beneficiário: | Ana Cláudia de Jesus Golzio |
| Modalidade de apoio: | Bolsas no Brasil - Doutorado |