| Full text | |
| Author(s): |
Coniglio, Marcelo E.
;
Golzio, Ana Claudia
Total Authors: 2
|
| Document type: | Journal article |
| Source: | SOFT COMPUTING; v. 23, n. 7, p. 12-pg., 2019-04-01. |
| Abstract | |
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) | |
| FAPESP's process: | 13/04568-1 - Non-deterministic matrices: theory and applications to algebraic semantics |
| Grantee: | Ana Cláudia de Jesus Golzio |
| Support Opportunities: | Scholarships in Brazil - Doctorate |