Abstract
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 ℤ, 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 Łukasiewicz’s infinite-valued logic Ł, hence giving us as a significant by-product, labelled and unlabelled analytic sequent calculi for Ł.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
S. Aguzzoli and A. Ciabattoni. Finiteness in infinite-valued Łukasiewicz logic. Journal of Logic, Language and Information, 9(1), 2000.
A. R. Anderson and N. D. Belnap Jr. Entailment: The Logic of Relevance and Necessity, Volume 1. Princeton, University Press, 1975.
E. Casari. Comparative Logics and Abelian l-Groups. In Logic Colloquium’ 88, Ferro et al. Ed, Elsevier, 1989.
A. Ciabattoni and D. Luchi. Two connections between linear logic and Łukasiewicz logics. In Proceedings of Computational Logic and Proof Theory, G. Gottlöb, A. Leitsch and D. Mundici Eds, Lecture Notes in Computer Science, Vol. 1289, Berlin: Springer-Verlag, 1997.
R. Cignoli, I. M. L. D’Octaviano and D. Mundici. Algebraic foundations of many-valued reasoning. Kluwer, 2000.
R. Giles. Łukasiewicz logic and fuzzy set theory. In Fuzzy Reasoning and its Applications, E. H. Mamdani and B. R. Gaines Eds, London: Academic Press, 1981.
Reiner Hähnle. Automated Deduction in Many-Valued Logics. Oxford University Press, 1994.
P. Hájek. Metamathematics of Fuzzy Logic. Kluwer, 1998.
G. Malinowski. Many-Valued Logics. Oxford, 1993.
R. K. Meyer and K. Slaney. Abelian Logic (from A to Z). In Paraconsistent Logic Essays on the Inconsistent, G. Priest et al. Ed, Philosophia Verlag, 1989.
R. K. Meyer. Intuitionism, entailment, negation. In Truth, Syntax, Modality, H. Leblanc Ed, Amsterdam, 1973.
D. Mundici and N. Olivetti. Resolution and model building in the infinite-valued calculus of Łukasiewicz. Theoretical Computer Science, 200(1–2), 1998.
N. Olivetti. Tableaux for infinite-valued Łukasiewicz logic. To appear in Studia Logica, 2002.
A. Prijatelj. Bounded Contraction and Gentzen style formulation of Łukasiewicz Logics. Studia Logica, 57, 437–456, 1996.
A. Urquhart. Many-valued logic. In Handbook of Philosophical Logic Volume 3, Dov Gabbay and F. Guenthner Eds, Kluwer, 1986.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Metcalfe, G., Olivetti, N., Gabbay, D. (2002). Analytic Sequent Calculi for Abelian and Łukasiewicz Logics. In: Egly, U., Fermüller, C.G. (eds) Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2002. Lecture Notes in Computer Science(), vol 2381. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45616-3_14
Download citation
DOI: https://doi.org/10.1007/3-540-45616-3_14
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43929-5
Online ISBN: 978-3-540-45616-2
eBook Packages: Springer Book Archive