Analytic calculi for product logics

G Metcalfe; N Olivetti; D Gabbay

doi:10.1007/s00153-004-0225-3

Analytic calculi for product logics

G Metcalfe, N Olivetti, D Gabbay

Research output: Contribution to journal › Article › peer-review

18 Citations (Scopus)

Abstract

Product logic Pi 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 Pi but on the real unit interval with 0 removed (0,1]. Here we present several analytic proof systems for Pi and CHL, including hypersequent calculi, co-NP labelled calculi and sequent calculi.

Original language	English
Pages (from-to)	859 - 889
Number of pages	31
Journal	ARCHIVE FOR MATHEMATICAL LOGIC
Volume	43
Issue number	7
DOIs	https://doi.org/10.1007/s00153-004-0225-3
Publication status	Published - Oct 2004

Access to Document

10.1007/s00153-004-0225-3

Cite this

@article{129251558b644748951297d32d56acb1,

title = "Analytic calculi for product logics",

abstract = "Product logic Pi 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 Pi but on the real unit interval with 0 removed (0,1]. Here we present several analytic proof systems for Pi and CHL, including hypersequent calculi, co-NP labelled calculi and sequent calculi.",

author = "G Metcalfe and N Olivetti and D Gabbay",

year = "2004",

month = oct,

doi = "10.1007/s00153-004-0225-3",

language = "English",

volume = "43",

pages = "859 -- 889",

journal = "ARCHIVE FOR MATHEMATICAL LOGIC",

issn = "1432-0665",

publisher = "Springer New York",

number = "7",

}

TY - JOUR

T1 - Analytic calculi for product logics

AU - Metcalfe, G

AU - Olivetti, N

AU - Gabbay, D

PY - 2004/10

Y1 - 2004/10

N2 - Product logic Pi 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 Pi but on the real unit interval with 0 removed (0,1]. Here we present several analytic proof systems for Pi and CHL, including hypersequent calculi, co-NP labelled calculi and sequent calculi.

AB - Product logic Pi 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 Pi but on the real unit interval with 0 removed (0,1]. Here we present several analytic proof systems for Pi and CHL, including hypersequent calculi, co-NP labelled calculi and 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 - Article

SN - 1432-0665

VL - 43

SP - 859

EP - 889

JO - ARCHIVE FOR MATHEMATICAL LOGIC

JF - ARCHIVE FOR MATHEMATICAL LOGIC

IS - 7

ER -

Analytic calculi for product logics

Abstract

Access to Document

Other files and links

Fingerprint

Cite this