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