Vitor Greati

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 10

Top Topics

Proof Procedure

Clifford Algebra

Propositional Logic

Top Venues

Publications

Vitor Greati, Sérgio Marcelino, Umberto Rivieccio
Axiomatizing the Logic of Ordinary Discourse. CoRR (2024)
Vitor Greati, Giuseppe Greco, Sérgio Marcelino, Alessandra Palmigiano, Umberto Rivieccio
Generating proof systems for three-valued propositional logics. CoRR (2024)
Vitor Greati, Revantha Ramanayake
Deducibility in the full Lambek calculus with weakening is HAck-complete. CoRR (2024)
Vitor Greati, Sérgio Marcelino, Umberto Rivieccio
Finite Hilbert systems for Weak Kleene logics. CoRR (2024)
Vitor Greati, Sérgio Marcelino, João Marcos, Umberto Rivieccio
Adding an Implication to Logics of Perfect Paradefinite Algebras. CoRR (2023)
Vitor Greati, João Marcos
Finite two-dimensional proof systems for non-finitely axiomatizable logics. CoRR (2022)
Vitor Greati, João Marcos
Finite Two-Dimensional Proof Systems for Non-finitely Axiomatizable Logics. IJCAR (2022)
Vitor Greati, Sérgio Marcelino, João Marcos
Proof Search on Bilateralist Judgments over Non-deterministic Semantics. CoRR (2021)
Joel Gomes, Vitor Greati, Sérgio Marcelino, João Marcos, Umberto Rivieccio
On Logics of Perfect Paradefinite Algebras. CoRR (2021)
Vitor Greati, Sérgio Marcelino, João Marcos
Proof Search on Bilateralist Judgments over Non-deterministic Semantics. TABLEAUX (2021)