Pages that link to "Item:Q3498458"
From MaRDI portal
The following pages link to Monadic Fragments of Gödel Logics: Decidability and Undecidability Results (Q3498458):
Displaying 10 items.
- On fuzzy modal logics \(S5(\mathcal C)\) (Q622028) (← links)
- First-order satisfiability in Gödel logics: an NP-complete fragment (Q650893) (← links)
- Trakhtenbrot theorem and first-order axiomatic extensions of MTL (Q897476) (← links)
- Note on witnessed Gödel logics with Delta (Q1035647) (← links)
- Arithmetical complexity of fuzzy predicate logics -- a survey. II. (Q1035656) (← links)
- On transitive modal many-valued logics (Q2035340) (← links)
- Triangular norm based predicate fuzzy logics (Q2270233) (← links)
- First-order nilpotent minimum logics: first steps (Q2377356) (← links)
- SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability (Q3638278) (← links)
- Tableau systems for some Ivlev-like (quantified) modal logics (Q6623948) (← links)