Please use this identifier to cite or link to this item:
|Title:||Swap structures semantics for Ivlev-like modal logics|
|Author:||Coniglio, Marcelo E.|
Golzio, Ana Claudia
|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|
|Subject:||Linguagem de programação (Computadores) - Semântica|
|Appears in Collections:||IFCH - Artigos e Outros Documentos|
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.