References & Citations
Mathematics > Logic
Title: Multialgebras and Non-Deterministic Semantics applied to Paraconsistent Logics
(Submitted on 21 Jun 2022)
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.
Submission history
From: Guilherme Vicentin De Toledo [view email][v1] Tue, 21 Jun 2022 21:44:09 GMT (13990kb,D)
Link back to: arXiv, form interface, contact.