1 citations · 3 across the 3 of their papers we have counts for
3 papers
cs.LO2024★ 1 cited
Deducibility in the full Lambek calculus with weakening is HAck-complete
Vitor Greati, Revantha Ramanayake
We prove that the problem of deciding the consequence relation of the full Lambek calculus with weakening is complete for the class HAck of hyper-Ackermannian problems (i.e., level…
math.LO2024★ 1 cited
Generating proof systems for three-valued propositional logics
Vitor Greati, Giuseppe Greco, Sérgio Marcelino +2
In general, providing an axiomatization for an arbitrary logic is a task that may require some ingenuity. In the case of logics defined by a finite logical matrix (three-valued log…
math.LO2024★ 1 cited
Finite Hilbert systems for Weak Kleene logics
Vitor Greati, Sérgio Marcelino, Umberto Rivieccio
Multiple-conclusion Hilbert-style systems allow us to finitely axiomatize every logic defined by a finite matrix. Having obtained such axiomatizations for Paraconsistent Weak Kleen…