Guilherme V. Toledo

Available identifiers

zbMath Open toledo.guilherme-vMaRDI QIDQ2144180

List of research outcomes

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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Guilherme V. Toledo