scientific article
From MaRDI portal
Publication:3021911
zbMath1070.03012MaRDI QIDQ3021911
George Metcalfe, Nicola Olivetti, Dov M. Gabbay
Publication date: 21 June 2005
Full work available at URL: https://eudml.org/doc/41042
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Fuzzy logic; logic of vagueness (03B52) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items (4)
Fuzzy logics based on \([0,1)\)-continuous uninorms ⋮ Dual tableau for monoidal triangular norm logic MTL ⋮ On the characterizations of fuzzy implications satisfying \(I(x,I(y,z))=I(I(x,y),I(x,z))\) ⋮ Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms
This page was built for publication:
