Proof theory for product logics

George Metcalfe; Nicola Olivetti; Dov Gabbay

Proof theory for product logics

George Metcalfe
, Nicola Olivetti
, Dov Gabbay

King's College London
University of Turin

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

3 Scopus citations

Abstract

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 language	English
Pages (from-to)	549-558
Number of pages	10
Journal	Neural Network World
Volume	13
Issue number	5
State	Published - 2003
Externally published	Yes

Keywords

Fuzzy logic
Hypersequent calculi
Product logic
Proof theory

Cite this

@article{cbd67fa4306b4e28921dce48ed03207f,

title = "Proof theory for product logics",

abstract = "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.",

keywords = "Fuzzy logic, Hypersequent calculi, Product logic, Proof theory",

author = "George Metcalfe and Nicola Olivetti and Dov Gabbay",

year = "2003",

language = "אנגלית",

volume = "13",

pages = "549--558",

journal = "Neural Network World",

issn = "1210-0552",

publisher = "Czech Technical University in Prague",

number = "5",

}

TY - JOUR

T1 - Proof theory for product logics

AU - Metcalfe, George

AU - Olivetti, Nicola

AU - Gabbay, Dov

PY - 2003

Y1 - 2003

N2 - 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.

AB - 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.

KW - Fuzzy logic

KW - Hypersequent calculi

KW - Product logic

KW - Proof theory

UR - https://www.scopus.com/pages/publications/0142227805

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:0142227805

SN - 1210-0552

VL - 13

SP - 549

EP - 558

JO - Neural Network World

JF - Neural Network World

IS - 5

ER -

Proof theory for product logics

Abstract

Keywords

Other files and links

Fingerprint

Cite this