TY - JOUR
T1 - Analytic calculi for product logics
AU - Metcalfe, George
AU - Olivetti, Nicola
AU - Gabbay, Dov
PY - 2004/10
Y1 - 2004/10
N2 - 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.
AB - 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.
KW - Fuzzy logic
KW - Hypersequent calculi
KW - Product logic
KW - Sequent calculi
UR - http://www.scopus.com/inward/record.url?scp=21244483549&partnerID=8YFLogxK
U2 - 10.1007/s00153-004-0225-3
DO - 10.1007/s00153-004-0225-3
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
AN - SCOPUS:21244483549
SN - 0933-5846
VL - 43
SP - 859
EP - 889
JO - Archive for Mathematical Logic
JF - Archive for Mathematical Logic
IS - 7
ER -