Pages that link to "Item:Q3638278"
From MaRDI portal
The following pages link to SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability (Q3638278):
Displaying 6 items.
- First-order satisfiability in Gödel logics: an NP-complete fragment (Q650893) (← links)
- Arithmetical complexity of fuzzy predicate logics -- a survey. II. (Q1035656) (← links)
- Gödel logics with monotone operators (Q1759702) (← links)
- First-order nilpotent minimum logics: first steps (Q2377356) (← links)
- Monotone operators on Gödel logic (Q2449851) (← links)
- A non-arithmetical Gödel logic (Q5703739) (← links)