Analytic Sequent Calculi for Abelian and ukasiewicz Logics

Authors:
George Metcalfe;Nicola Olivetti;Dov M. Gabbay
Affiliations:
-;-;-
Venue:
TABLEAUX '02 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Year:
2002

Citing 4
Cited 2

Automated deduction in multiple-valued logics

Automated deduction in multiple-valued logics
Resolution and model building in the infinite-valued calculus of Łukasiewicz

Theoretical Computer Science
Finiteness in Infinite-Valued Σukasiewicz Logic

Journal of Logic, Language and Information
Two Connections Between Linear Logic and Lukasiewicz Logics

KGC '97 Proceedings of the 5th Kurt Gödel Colloquium on Computational Logic and Proof Theory

Sequent and hypersequent calculi for abelian and łukasiewicz logics

ACM Transactions on Computational Logic (TOCL)
Gödel logics with monotone operators

Fuzzy Sets and Systems

Quantified Score

Hi-index	0.00

Visualization

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 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 驴, hence giving us as a significant by-product, labelled and unlabelled analytic sequent calculi for 驴.