The following pages link to (Q3021911):
Displaying 4 items.
- Dual tableau for monoidal triangular norm logic MTL (Q622083) (← links)
- Fuzzy logics based on \([0,1)\)-continuous uninorms (Q884954) (← links)
- Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms (Q964000) (← links)
- On the characterizations of fuzzy implications satisfying \(I(x,I(y,z))=I(I(x,y),I(x,z))\) (Q1726392) (← links)
