Analytic Sequent Calculi for Abelian and Lukasiewicz Logics

D. M. Gabbay, G. Metcalfe, N. Olivetti

Research output: Chapter in Book/Report/Conference proceedingConference paper

10 Citations (Scopus)
Original languageEnglish
Title of host publicationLecture Notes in Artifical Intelligence
EditorsU. Egli, C. Fermuller
Place of PublicationBerlin, Germany
PublisherSpringer
Pages191-205
Number of pages15
ISBN (Print)9783540439295
Publication statusPublished - 2002
EventInternational Conference TABLEAUX 2002. - COPENHAGEN, Denmark
Duration: 30 Jul 20021 Aug 2002

Publication series

NameLNCS 2381
PublisherSpringer

Conference

ConferenceInternational Conference TABLEAUX 2002.
Country/TerritoryDenmark
CityCOPENHAGEN
Period30/07/20021/08/2002

Cite this