The following pages link to First-order Gödel logics (Q2370370):
Displaying 27 items.
- Dual equivalent two-valued under-determined and over-determined interpretations for Łukasiewicz's 3-valued logic Ł3 (Q484107) (← links)
- First-order satisfiability in Gödel logics: an NP-complete fragment (Q650893) (← links)
- Two notions of compactness in Gödel logics (Q817682) (← links)
- Trakhtenbrot theorem and first-order axiomatic extensions of MTL (Q897476) (← links)
- Standard Gödel modal logics (Q965908) (← links)
- Note on witnessed Gödel logics with Delta (Q1035647) (← links)
- Arithmetical complexity of fuzzy predicate logics -- a survey. II. (Q1035656) (← links)
- On the classification of first order Gödel logics (Q1616771) (← links)
- Ten problems in Gödel logic (Q1699740) (← links)
- Deciding logics of linear Kripke frames with scattered end pieces (Q1699745) (← links)
- A note on strong axiomatization of Gödel justification logic (Q2193971) (← links)
- The class of all natural implicative expansions of Kleene's strong logic functionally equivalent to Łukasiewicz's 3-valued logic Ł3 (Q2209169) (← links)
- A Routley-Meyer semantics for Gödel 3-valued logic and its paraconsistent counterpart (Q2254554) (← links)
- Decidability of order-based modal logics (Q2361346) (← links)
- First-order nilpotent minimum logics: first steps (Q2377356) (← links)
- One-variable fragments of intermediate logics over linear frames (Q2672661) (← links)
- The Löwenheim-Skolem theorem for Gödel logic (Q2683781) (← links)
- Compactness in Infinitary Gödel Logics (Q2820682) (← links)
- Consequence and Degrees of Truth in Many-Valued Logic (Q2948586) (← links)
- A simple Henkin-style completeness proof for Gödel 3-valued logic G3 (Q2987717) (← links)
- A Multiple-Conclusion Calculus for First-Order Gödel Logic (Q3007648) (← links)
- Monadic Fragments of Gödel Logics: Decidability and Undecidability Results (Q3498458) (← links)
- On witnessed models in fuzzy logic III - witnessed Gödel logics (Q3552393) (← links)
- SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability (Q3638278) (← links)
- EPSILON THEOREMS IN INTERMEDIATE LOGICS (Q5082060) (← links)
- UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS (Q5381031) (← links)
- Gödel-Dummett linear temporal logic (Q6665714) (← links)
