The following pages link to (Q3021911):
Displaying 9 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)
- Proof theory for fuzzy logics (Q2519539) (← links)
- Hypersequents and Systems of Rules (Q4579958) (← links)
- Fuzzy Logic, Concepts and Semantic Transformers (Q5192341) (← links)
- Substructural fuzzy logics (Q5422306) (← links)
- Fuzzy logic programs as hypergraphs. Termination results (Q6079415) (← links)