2 citations · 3 across the 3 of their papers we have counts for
4 papers
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…
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…
It ain't necessarily so: Basic sequent systems for negative modalities
Ori Lahav, João Marcos, Yoni Zohar
We look at non-classical negations and their corresponding adjustment connectives from a modal viewpoint, over complete distributive lattices, and apply a very general mechanism in…
TryLogic tutorial: an approach to Learning Logic by proving and refuting
Patrick Terrematte, João Marcos
Aiming to offer a framework for blended learning to the teaching of proof theory, the present paper describes an interactive tutorial, called \textsc{TryLogic}, teaching how to sol…