Pages that link to "Item:Q3638278"

The following pages link to SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability (Q3638278):

Displayed 3 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)
• First-order nilpotent minimum logics: first steps (Q2377356) ‎ (← links)