Pages that link to "Item:Q1762728"
From MaRDI portal
The following pages link to Analytic calculi for product logics (Q1762728):
Displaying 10 items.
- Proof theory for lattice-ordered groups (Q287483) (← links)
- Dual tableau for monoidal triangular norm logic MTL (Q622083) (← links)
- Normal forms for fuzzy logics: a proof-theoretic approach (Q884948) (← links)
- Fuzzy logics based on \([0,1)\)-continuous uninorms (Q884954) (← links)
- Proof search and co-NP completeness for many-valued logics (Q1697337) (← links)
- Density revisited (Q1699744) (← links)
- Hypersequent and display calculi -- a unified perspective (Q2259013) (← links)
- On triangular norms and uninorms definable in Ł\(\Pi \frac{1}{2}\) (Q2270383) (← links)
- Analytic Calculi for Logics of Ordinal Multiples of Standard t-Norms (Q5450567) (← links)
- On Product Logic with Truth-constants (Q5477455) (← links)
