1 citations · 2 across the 4 of their papers we have counts for
6 papers
Combining Finite Combination Properties: Finite Models and Busy Beavers
Guilherme Toledo, Yoni Zohar, Clark Barrett
This work is a part of an ongoing effort to understand the relationships between properties used in theory combination. We here focus on including two properties that are related t…
Combining Combination Properties: An Analysis of Stable Infiniteness, Convexity, and Politeness
Guilherme Vicentin de Toledo, Yoni Zohar, Clark Barrett
We make two contributions to the study of theory combination in satisfiability modulo theories. The first is a table of examples for the combinations of the most common model-theor…
A Category of Ordered Algebras Equivalent to the Category of Multialgebras
Marcelo E. Coniglio, Guilherme V. Toledo
It is well known that there is a correspondence between sets and complete, atomic Boolean algebras (CABA's) taking a set to its power-set and, reciprocally, a complete, atomic Bool…
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…
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 $\…