Victor Barroso-Nascimento
Identifiers
No identifiers captured yet.
Papers (3)
- Glivenko's theorems from an ecumenical perspective cs.LO · 2026 · author #2
- Bilateralism with incompatible proofs and refutations cs.LO · 2025 · author #1
- Higher-order Kripke models for intuitionistic and non-classical modal logics cs.LO · 2025 · author #1
Mentions
No mention provenance yet.
Frequent Coauthors
- Elaine Pimentel 2 shared papers
- Luiz Carlos Pereira 1 shared papers
- Maria Os\'orio 1 shared papers