Personal information

Non-deterministic semantics, Paraconsistent Logics
Brazil

Activities

Education and qualifications (2)

Universidade Estadual de Campinas: Campinas, SP, BR

Bachelor's degree in mathematics (Instituto de Matemática, Estatística e Computação Científica)
Education
Source: Self-asserted source
Guilherme Vicentin de Toledo

Universidade Estadual de Campinas: Campinas, SP, BR

Master's in mathematics (Instituto de Matemática, Estatística e Computação Científica)
Education
Source: Self-asserted source
Guilherme Vicentin de Toledo

Professional activities (1)

Association for Symbolic Logic: Storrs, CT, US

Student member
Membership
Source: Self-asserted source
Guilherme Vicentin de Toledo

Works (9)

The Nonexistence of Unicorns and Many-Sorted Löwenheim–Skolem Theorems

2025 | Book chapter
Contributors: Benjamin Przybocki; Guilherme Toledo; Yoni Zohar; Clark Barrett
Source: check_circle
Crossref

Combining Combination Properties: An Analysis of Stable Infiniteness, Convexity, and Politeness

2023 | Book chapter
Contributors: Guilherme V. Toledo; Yoni Zohar; Clark Barrett
Source: check_circle
Crossref

Combining Finite Combination Properties: Finite Models and Busy Beavers

2023 | Book chapter
Contributors: Guilherme V. Toledo; Yoni Zohar; Clark Barrett
Source: check_circle
Crossref

A Category of Ordered Algebras Equivalent to the Category of Multialgebras

Bulletin of the Section of Logic
2023-08-16 | Journal article
Contributors: Marcelo Esteban Coniglio; Guilherme Vicentin de Toledo
Source: check_circle
Crossref

From Inconsistency to Incompatibility

Logic and Logical Philosophy
2022-09-27 | Journal article
Contributors: Marcelo E. Coniglio; Guilherme V. Toledo
Source: check_circle
Crossref

Two Decision Procedures for da Costa’s $$C_n$$ Logics Based on Restricted Nmatrix Semantics

Studia Logica
2022-06 | Journal article
Contributors: Marcelo E. Coniglio; Guilherme V. Toledo
Source: check_circle
Crossref

Weakly Free Multialgebras

Bulletin of the Section of Logic
2021-08-23 | Journal article
Source: Self-asserted source
Guilherme Vicentin de Toledo
grade
Preferred source (of 2)‎

Absolutely Free Hyperalgebras

2021-01-11 | Preprint
Source: Self-asserted source
Guilherme Vicentin de Toledo

A simple decision procedure for da Costa's Cn logics by Restricted Nmatrix semantics

2020-11-19 | Preprint
Source: Self-asserted source
Guilherme Vicentin de Toledo