3 citations · 7 across the 8 of their papers we have counts for
5 papers · 1 filter
Multialgebras and Non-Deterministic Semantics applied to Paraconsistent Logics
Guilherme Vicentin de Toledo
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…
From inconsistency to incompatibility
Marcelo Esteban Coniglio, Guilherme Vicentin de Toledo
The aim of this article is to generalize logics of formal inconsistency (s) to systems dealing with the concept of incompatibility, expressed by means of a binary con…
Restricted swap structures for da Costa's and their category
Marcelo E. Coniglio, Guilherme V. Toledo
In a previous article we introduced the concept of restricted Nmatrices (in short, RNmatrices), which generalize Nmatrices in the following sense: a RNmatrix is a Nmatrix together…
Absolutely Free Hyperalgebras
Marcelo E. Coniglio, Guilherme V. Toledo
It is well known from universal algebra that, for every signature , there exist algebras over which are absolutely free, meaning that they do not satisfy any identities or,…
A simple decision procedure for da Costa's Cn logics by Restricted Nmatrix semantics
Marcelo E. Coniglio, Guilherme V. Toledo
Despite being fairly powerful, finite non-deterministic matrices are unable to characterize some logics of formal inconsistency, such as those found between and $\…