Analytic Calculi for Product Logics

Abstract. Product logic is an important t-norm based fuzzy logic with conjunction interpreted as multiplication on the real unit interval [0, 1], while Cancellative hoop logic CHL is a related logic with connectives interpreted as for but on the real unit interval with 0 removed (0, 1]. Here we present several analytic proof systems for and CHL, including hypersequent calculi, co-NP labelled calculi and sequent calculi.

• Type: Journal
• Year: 2004
• Where: AML
• Authors: George Metcalfe, Nicola Olivetti, Dov M. Gabbay
• Keywords: AML 2004, Hoop Logic Chl, Logic, Real Unit