Pages that link to "Item:Q5450567"
From MaRDI portal
The following pages link to Analytic Calculi for Logics of Ordinal Multiples of Standard t-Norms (Q5450567):
Displaying 5 items.
- Proof theory for locally finite many-valued logics: semi-projective logics (Q385019) (← links)
- A fuzzy logic for an ordinal sum t-norm (Q703375) (← links)
- Proof search and co-NP completeness for many-valued logics (Q1697337) (← links)
- Expanding basic fuzzy logic with truth constants for component delimiters (Q1759708) (← links)
- Analytic calculi for product logics (Q1762728) (← links)