Please use this identifier to cite or link to this item: http://repositorio.unicamp.br/jspui/handle/REPOSIP/336406
Type: Artigo
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
Country: Alemanha
Editor: Springer
Rights: Fechado
Identifier DOI: 10.1007/s00500-018-03707-4
Address: https://link.springer.com/article/10.1007/s00500-018-03707-4
Date Issue: 2019
Appears in Collections:IFCH - Artigos e Outros Documentos

Files in This Item:
File Description SizeFormat 
000461580400010.pdf771.35 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.