Guilherme V. Toledo

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Two generalizations of shininess	2027-01-01	Paper
Number theory combination: natural density and SMT	2026-02-26	Paper
Shininess, strong politeness, and unicorns	2026-02-26	Paper
Combining combination properties. I: Nelson-Oppen and politeness Journal of Automated Reasoning	2026-02-06	Paper
Being polite is not enough (and other limits of theory combination)	2026-01-21	Paper
Bringing closure to theory combination properties (available as arXiv preprint)	2026-01-01	Paper
Bringing closure to theory combination properties	2026-01-01	Paper
Combining combination properties: minimal models	2025-02-19	Paper
Characterizing Sets of Theories That Can Be Disjointly Combined (available as arXiv preprint)	2025-01-01	Paper
Combining Finite Combination Properties: Finite Models and Busy Beavers	2024-05-03	Paper
The nonexistence of unicorns and many-sorted Löwenheim-Skolem theorems (available as arXiv preprint)	2024-01-01	Paper
From Inconsistency to Incompatibility Logic and Logical Philosophy	2023-07-03	Paper
Combining Combination Properties: An Analysis of Stable Infiniteness, Convexity, and Politeness	2023-05-03	Paper
Two decision procedures for da Costa's $C_n$ Logics based on restricted Nmatrix semantics Studia Logica	2022-06-01	Paper
Restricted swap structures for da Costa's $C_n$ and their category	2021-12-25	Paper
Restricted swap structures for da Costa's $C_n$ and their category (available as arXiv preprint)	2021-01-01	Paper
A simple decision procedure for da Costa's Cn logics by Restricted Nmatrix semantics (available as arXiv preprint)	2020-11-19	Paper

Research outcomes over time

This page was built for person: Guilherme V. Toledo