Sequent and Hypersequent Calculi for Abelian and Lukasiewicz Logics

Simple item page
dc.creatorMetcalfe, G.
dc.creatorOlivetti, N.
dc.creatorGabbay, D.
dc.date2002-11-18
dc.date.accessioned2026-07-07T03:19:01Z
dc.date.available2026-07-07T03:19:01Z
dc.descriptionWe present two embeddings of infinite-valued Lukasiewicz logic L into Meyer and Slaney's abelian logic A, the logic of lattice-ordered abelian groups. We give new analytic proof systems for A and use the embeddings to derive corresponding systems for L. These include: hypersequent calculi for A and L and terminating versions of these calculi; labelled single sequent calculi for A and L of complexity co-NP; unlabelled single sequent calculi for A and L.
dc.description35 pages, 1 figure
dc.identifierhttps://arxiv.org/abs/cs/0211021
dc.identifierhttp://arxiv.org/abs/cs/0211021
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/31347
dc.subjectLogic in Computer Science
dc.subjectF.4.1;I.2.3
dc.titleSequent and Hypersequent Calculi for Abelian and Lukasiewicz Logics
dc.typetext

Files

Collections

arXiv