Multialgebras and Non-Deterministic Semantics applied to Paraconsistent Logics
Logic
2022-06-23 v1
Abstract
This work is divided between two main areas: in the theory of multialgebras, we focus mostly on a new definition of what a freely generated object should be in their category, and on how this category is equivalent to another with partially ordered algebras as objects; we then use nondeterministic semantics, specially those we have named restricted Nmatrices, on paraconsistent logics and some systems dealing with a new presentation of the natural concept of incompatibility, which generalizes inconsistency.
Cite
@article{arxiv.2206.10748,
title = {Multialgebras and Non-Deterministic Semantics applied to Paraconsistent Logics},
author = {Guilherme Vicentin de Toledo},
journal= {arXiv preprint arXiv:2206.10748},
year = {2022}
}
Comments
PhD thesis advised by Marcelo Coniglio, defended in 29/04/2022, 314 pages