Guilherme V. Toledo

Available identifiers

Publication	Date of Publication	Type
Combining Finite Combination Properties: Finite Models and Busy Beavers	2024-05-03	Paper
From Inconsistency to Incompatibility	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	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	2020-11-19	Paper

This page was built for person: Guilherme V. Toledo