Proof theory for product logics

G Metcalfe, N Olivetti, D Gabbay

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

3 Citations (Scopus)


In this paper, we present analytic sequent and hypersequent calculi for Product logic II, an important t-norm based fuzzy logic with conjunction interpreted as multiplication on the real unit interval [0,1], and Cancellative hoop logic CHL, a related logic with product conjunction interpreted on the real unit interval with 0 removed. (13 References).
Original languageEnglish
Title of host publicationNeural Network World
PublisherUnknown Publisher
Pages549 - 558
Number of pages10
Publication statusPublished - 2003
EventDATAKON 2003 - BRNO, Czech Republic
Duration: 18 Oct 200321 Oct 2003


ConferenceDATAKON 2003
Country/TerritoryCzech Republic


Dive into the research topics of 'Proof theory for product logics'. Together they form a unique fingerprint.

Cite this