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
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
Combining combination properties: minimal models	2025-02-19	Paper
Combining Finite Combination Properties: Finite Models and Busy Beavers	2024-05-03	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
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