Analytic sequent calculi for abelian and lukasiewicz logics

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2381 LNAI, Issue , 2002, Pages 191-205

  Metcalfe, George ^a   Olivetti, Nicola ^b   Gabbay, Dov ^a  

^a KING'S COLLEGE LONDON   (United Kingdom)

^b UNIVERSITY OF TURIN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

BIOMINERALIZATION; COMPUTER CIRCUITS; DIFFERENTIATION (CALCULUS); FUZZY LOGIC; GROUP THEORY; PATHOLOGY;

ABELIAN LOGIC; CHARACTERISTIC MODEL; INFINITE-VALUED LOGIC; LUKASIEWICZ LOGIC; ORDERED ABELIAN GROUP; SEQUENT CALCULUS;

MANY VALUED LOGICS;

EID: 84885211517     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45616-3_14     Document Type: Conference Paper

References (15)

1. S. Aguzzoli and A. Ciabattoni. Finiteness in infinite-valued Lukasiewicz logic. Journal of Logic, Language and Information, 9(1), 2000.
2. A. R. Anderson and N. D. Belnap Jr. Entailment: The Logic of Relevance and Necessity, Volume 1. Princeton, University Press, 1975.
3. E. Casari. Comparative Logics and Abelian l-Groups. In Logic Colloquium '88, Ferro et al. Ed, Elsevier, 1989.
4. A. Ciabattoni and D. Luchi. Two connections between linear logic and Lukasiewicz logics. In Proceedings of Computational Logic and Proof Theory, G. Gottlob, A. Leitsch and D. Mundici Eds, Lecture Notes in Computer Science, Vol. 1289, Berlin: Springer-Verlag, 1997.
5. R. Cignoli, I. M. L. D'Octaviano and D. Mundici. Algebraic foundations of many-valued reasoning. Kluwer, 2000.
6. R. Giles. Lukasiewicz logic and fuzzy set theory. In Fuzzy Reasoning and its Applications, E. H. Mamdani and B. R. Gaines Eds, London: Academic Press, 1981.
7. Reiner Hähnle. Automated Deduction in Many-Valued Logics. Oxford University Press, 1994.
8. P. Hájek. Metamathematics of Fuzzy Logic. Kluwer, 1998.
9. G. Malinowski. Many-Valued Logics. Oxford, 1993.
10. 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.
11. R. K. Meyer. Intuitionism, entailment, negation. In Truth, Syntax, Modality, H. Leblanc Ed, Amsterdam, 1973.
12. D. Mundici and N. Olivetti. Resolution and model building in the infinite-valued calculus of Lukasiewicz. Theoretical Computer Science, 200(1-2), 1998.
13. N. Olivetti. Tableaux for infinite-valued Lukasiewicz logic. To appear in Studia Logica, 2002.
14. A. Prijatelj. Bounded Contraction and Gentzen style formulation of Lukasiewicz Logics. Studia Logica, 57, 437-456, 1996.
15. A. Urquhart. Many-valued logic. In Handbook of Philosophical Logic Volume 3, Dov Gabbay and F. Guenthner Eds, Kluwer, 1986.