TY - GEN
T1 - Analytic sequent calculi for abelian and lukasiewicz logics
AU - Metcalfe, George
AU - Olivetti, Nicola
AU - Gabbay, Dov
PY - 2002
Y1 - 2002
N2 - In this paper we present the first labelled and unlabelled analytic sequent calculi for abelian logic A, the logic of lattice-ordered abelian groups with characteristic model Z, motivated in [10] as a logic of relevance and in [3] as a logic of comparison. We also show that the so-called material fragment of A coincides with Lukasiewicz's infinite-valued logic L, hence giving us as a significant by-product, labelled and unlabelled analytic sequent calculi for L.
AB - In this paper we present the first labelled and unlabelled analytic sequent calculi for abelian logic A, the logic of lattice-ordered abelian groups with characteristic model Z, motivated in [10] as a logic of relevance and in [3] as a logic of comparison. We also show that the so-called material fragment of A coincides with Lukasiewicz's infinite-valued logic L, hence giving us as a significant by-product, labelled and unlabelled analytic sequent calculi for L.
UR - https://www.scopus.com/pages/publications/84885211517
U2 - 10.1007/3-540-45616-3_14
DO - 10.1007/3-540-45616-3_14
M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???
AN - SCOPUS:84885211517
SN - 3540439293
SN - 9783540439295
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 191
EP - 205
BT - Automated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX 2002, Proceedings
A2 - Egly, Uwe
A2 - Fermuller, Christian G.
PB - Springer Verlag
T2 - International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2002
Y2 - 30 July 2002 through 1 August 2002
ER -