Search

Start Over Creator Gabbay, Dov

1. Proof theory for product logics

Creator:
Metcalfe, George, Olivetti, Nicola, and Gabbay, Dov
Format:
bez média and svazek
Type:
model:article and TEXT
Subject:
product logic, fuzzy logic, proof theory, and hypersequent calculi
Language:
English
Description:
In this paper we preseiit analytic sequent and hypersequent calculi for Product logic II, an iinportant 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 rernoved.
Rights:
http://creativecommons.org/publicdomain/mark/1.0/ and policy:public