2 papers
cs.LO2022
Finite two-dimensional proof systems for non-finitely axiomatizable logics
Vitor Greati, João Marcos
The characterizing properties of a proof-theoretical presentation of a given logic may hang on the choice of proof formalism, on the shape of the logical rules and of the sequents…
cs.LO2021
Proof Search on Bilateralist Judgments over Non-deterministic Semantics
Vitor Greati, Sérgio Marcelino, João Marcos
The bilateralist approach to logical consequence maintains that judgments of different qualities should be taken into account in determining what-follows-from-what. We argue that s…