Year: 2022
Type: preprint
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.
Source: arXiv (Cornell University)
Author: de Toledo, Guilherme Vicentin
Language: English
Topic: Advanced Algebra and Logic
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W4283382387