Swap structures semantics for Ivlev-like modal logics

Soft Computing 23 (7):2243-2254 (2019)
Download Edit this record How to cite View on PhilPapers
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. Fariñas 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.
PhilPapers/Archive ID
CONSSS-2
Upload history
Archival date: 2019-02-12
View other versions
Added to PP index
2019-02-12

Total views
104 ( #33,226 of 51,670 )

Recent downloads (6 months)
23 ( #25,046 of 51,670 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.