Vitor Greati

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Finite Hilbert systems for Weak Kleene logics (available as arXiv preprint)	N/A	Paper
Generating proof systems for three-valued propositional logics (available as arXiv preprint)	N/A	Paper
Axiomatizing the Logic of Ordinary Discourse (available as arXiv preprint)	N/A	Paper
Analytic calculi for logics of indicative conditionals	2026-02-10	Paper
Hypersequent Calculi Have Ackermannian Complexity (available as arXiv preprint)	2026-01-01	Paper
Tight length theorems for multiset extensions of Higman's lemma Theoretical Computer Science	2025-11-21	Paper
Deducibility in the full Lambek calculus with weakening Is HAck-complete	2025-06-26	Paper
Adding an implication to logics of perfect paradefinite algebras Mathematical Structures in Computer Science	2025-03-04	Paper
On logics of perfect paradefinite algebras	2025-01-13	Paper
Complexities of Well-Quasi-Ordered Substructural Logics (available as arXiv preprint)	2025-01-01	Paper
Predicative Ordinal Recursion on the Constructive Veblen Hierarchy (available as arXiv preprint)	2025-01-01	Paper
Finite Hilbert systems for weak Kleene logics Studia Logica	2024-11-25	Paper
Deducibility in the full Lambek calculus with weakening is HAck-complete (available as arXiv preprint)	2024-01-01	Paper
Finite two-dimensional proof systems for non-finitely axiomatizable logics (available as arXiv preprint)	2022-12-07	Paper
Proof search on bilateralist judgments over non-deterministic semantics (available as arXiv preprint)	2022-05-25	Paper
Finite two-dimensional proof systems for non-finitely axiomatizable logics (available as arXiv preprint)	2022-05-18	Paper
Proof Search on Bilateralist Judgments over Non-deterministic Semantics (available as arXiv preprint)	2021-07-17	Paper
On Logics of Perfect Paradefinite Algebras	2021-06-17	Paper

Research outcomes over time

This page was built for person: Vitor Greati