Monosequent Proof Systems
JYB

"Navegar é preciso, viver não é preciso."
Fernando Pessoa


Click HERE for the full version.
This paper has been published in
C.Caleiro, F.Dionisio, P.Gouveia, P.Mateus and J.Rasga (eds), Logic and Computation - Essays in Honour of Amilcar Sernadas, College Publication, London, 2017, pp.111-137.