Vitor Greati

18 papers A 1B 3Journal 13Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
Hypersequent Calculi Have Ackermannian Complexity.
CoRR
A. R. Balasubramanian, Vitor Greati, Revantha Ramanayake
2025 B conf
Analytic Calculi for Logics of Indicative Conditionals.
TABLEAUX
Vitor Greati, Sérgio Marcelino, Miguel Muñoz Pérez, Umberto Rivieccio
2025 J jnl
Complexities of Well-Quasi-Ordered Substructural Logics.
CoRR
Nikolaos Galatos, Vitor Greati, Revantha Ramanayake, Gavin St. John
2025 J jnl
Predicative Ordinal Recursion on the Constructive Veblen Hierarchy.
CoRR
Amirhossein Akbar Tabatabai, Vitor Greati, Revantha Ramanayake
2025 J jnl
Tight length theorems for multiset extensions of Higman's lemma.
Theor. Comput. Sci.
Vitor Greati, Revantha Ramanayake
2024 J jnl
Adding an implication to logics of perfect paradefinite algebras.
Math. Struct. Comput. Sci.
Vitor Greati, Sérgio Marcelino, João Marcos, Umberto Rivieccio
2024 J jnl
Axiomatizing the Logic of Ordinary Discourse.
CoRR
Vitor Greati, Sérgio Marcelino, Umberto Rivieccio
2024 B conf
Deducibility in the Full Lambek Calculus with Weakening Is HAck-Complete.
AiML
Vitor Greati, Revantha Ramanayake
2024 J jnl
Deducibility in the full Lambek calculus with weakening is HAck-complete.
CoRR
Vitor Greati, Revantha Ramanayake
2024 J jnl
Finite Hilbert Systems for Weak Kleene Logics.
Stud Logica
Vitor Greati, Sérgio Marcelino, Umberto Rivieccio
2024 J jnl
Finite Hilbert systems for Weak Kleene logics.
CoRR
Vitor Greati, Sérgio Marcelino, Umberto Rivieccio
2024 J jnl
Generating proof systems for three-valued propositional logics.
CoRR
Vitor Greati, Giuseppe Greco, Sérgio Marcelino, Alessandra Palmigiano, Umberto Rivieccio
2023 J jnl
Adding an Implication to Logics of Perfect Paradefinite Algebras.
CoRR
Vitor Greati, Sérgio Marcelino, João Marcos, Umberto Rivieccio
2022 A conf
Finite Two-Dimensional Proof Systems for Non-finitely Axiomatizable Logics.
IJCAR
Vitor Greati, João Marcos
2022 J jnl
Finite two-dimensional proof systems for non-finitely axiomatizable logics.
CoRR
Vitor Greati, João Marcos
2021 — conf
On Logics of Perfect Paradefinite Algebras.
LSFA
Joel Gomes, Vitor Greati, Sérgio Marcelino, João Marcos, Umberto Rivieccio
2021 B conf
Proof Search on Bilateralist Judgments over Non-deterministic Semantics.
TABLEAUX
Vitor Greati, Sérgio Marcelino, João Marcos
2021 J jnl
Proof Search on Bilateralist Judgments over Non-deterministic Semantics.
CoRR
Vitor Greati, Sérgio Marcelino, João Marcos