Proof theory for product logics

George Metcalfe, Nicola Olivetti, Dov Gabbay

Research output: Contribution to journalArticlepeer-review

3 Scopus citations


In this paper we present analytic sequent and hypersequent calculi for Product logic ∏, 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.

Original languageEnglish
Pages (from-to)549-558
Number of pages10
JournalNeural Network World
Issue number5
StatePublished - 2003
Externally publishedYes


  • Fuzzy logic
  • Hypersequent calculi
  • Product logic
  • Proof theory


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

Cite this