Pages that link to "Item:Q2492318"
From MaRDI portal
The following pages link to Computational complexity of t-norm based propositional fuzzy logics with rational truth constants (Q2492318):
Displaying 17 items.
- On finitely-valued fuzzy description logics (Q465589) (← links)
- On the failure of the finite model property in some fuzzy description logics (Q549343) (← links)
- On fuzzy modal logics \(S5(\mathcal C)\) (Q622028) (← links)
- Fuzzy description logics and \(t\)-norm based fuzzy logics (Q990977) (← links)
- First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties (Q1035653) (← links)
- F-propositional calculus and a kind of F-control model on the basis of complemented t-norm (Q1291553) (← links)
- The complexity of fuzzy \(\mathcal{EL}\) under the Łukasiewicz t-norm (Q1679661) (← links)
- On the relationship between fuzzy description logics and many-valued modal logics (Q1726404) (← links)
- Structural completeness in many-valued logics with rational constants (Q2080696) (← links)
- On the complexity of validity degrees in Łukasiewicz logic (Q2106603) (← links)
- On expansions of WNM t-norm based logics with truth-constants (Q2270234) (← links)
- MNiBLoS: a SMT-based solver for continuous t-norm based logics and some of their modal expansions (Q2282273) (← links)
- Implicit definability of truth constants in Łukasiewicz logic (Q2317518) (← links)
- Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics (Q2380337) (← links)
- Proof theory for fuzzy logics (Q2519539) (← links)
- (Q5406041) (← links)
- Introduction (Q5892200) (← links)
