Vitor Greati

Available identifiers

zbMath Open greati.vitorMaRDI QIDQ2104550

List of research outcomes

Publication	Date of Publication	Type
On logics of perfect paradefinite algebras	2025-01-13	Paper
Finite Hilbert systems for weak Kleene logics	2024-11-25	Paper
Finite two-dimensional proof systems for non-finitely axiomatizable logics	2022-12-07	Paper
Proof search on bilateralist judgments over non-deterministic semantics	2022-05-25	Paper
Finite two-dimensional proof systems for non-finitely axiomatizable logics	2022-05-18	Paper
Proof Search on Bilateralist Judgments over Non-deterministic Semantics	2021-07-17	Paper
On Logics of Perfect Paradefinite Algebras	2021-06-17	Paper
Finite Hilbert systems for Weak Kleene logics	N/A	Paper
Generating proof systems for three-valued propositional logics	N/A	Paper
Axiomatizing the Logic of Ordinary Discourse	N/A	Paper

Research outcomes over time

This page was built for person: Vitor Greati