Victor Barroso-Nascimento

According to our database, Victor Barroso-Nascimento authored at least 5 papers in 2025.

Collaborative distances:

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

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

CoRR, 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