Victor Barroso-Nascimento

According to our database, Victor Barroso-Nascimento authored at least 7 papers between 2025 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Glivenko's theorems from an ecumenical perspective.

Luiz Carlos Pereira, Victor Barroso-Nascimento, Elaine Pimentel

CoRR, May, 2026

2025

Bilateralist base-extension semantics with incompatible proofs and refutations.

Victor Barroso-Nascimento, Maria Osório Costa, Elaine Pimentel

CoRR, October, 2025

Effects of the Strict-Tolerant Approach on Intuitionistic and Minimal Logic.

Victor Barroso-Nascimento, German Mejia

CoRR, September, 2025

Higher-order Kripke models for intuitionistic and non-classical modal logics.

Victor Barroso-Nascimento

CoRR, July, 2025

Bilateral base-extension semantics.

Victor Barroso-Nascimento, Maria Osório

CoRR, May, 2025

A Proof-Theoretic Approach to the Semantics of Classical Linear Logic.

Victor Barroso-Nascimento, Ekaterina Piotrovskaya, Elaine Pimentel

Proceedings of the 41st Conference on the Mathematical Foundations of Programming Semantics, April, 2025

A Sequent Calculus Perspective on Base-Extension Semantics.

Victor Barroso-Nascimento, Ekaterina Piotrovskaya, Elaine Pimentel

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2025