The following pages link to First-order Gödel logics (Q2370370):
Displaying 39 items.
- Dual equivalent two-valued under-determined and over-determined interpretations for Łukasiewicz's 3-valued logic Ł3 (Q484107) (← links)
- A family of Gödel hybrid logics (Q631082) (← 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)
- On the compactness property of extensions of first-order Gödel logic (Q2805906) (← links)
- Compactness in Infinitary Gödel Logics (Q2820682) (← links)
- A Generalisation of the Hyperresolution Principle to First Order Gödel Logic (Q2829667) (← links)
- Consequence and Degrees of Truth in Many-Valued Logic (Q2948586) (← links)
- From rational Gödel logic to ultrametric logic (Q2957965) (← 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)
- (Q3367332) (← links)
- Linear Kripke frames and Gödel logics (Q3426561) (← 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)
- (Q4305492) (← links)
- A semantic proof of strong cut-admissibility for first-order Godel logic (Q4914412) (← links)
- An elementary definability theorem for first order logic (Q4934027) (← links)
- EPSILON THEOREMS IN INTERMEDIATE LOGICS (Q5082060) (← links)
- Compactness in first-order Godel logics (Q5300578) (← links)
- UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS (Q5381031) (← links)
- (Q5536236) (← links)
- A non-arithmetical Gödel logic (Q5703739) (← links)
- Gödel-Dummett linear temporal logic (Q6665714) (← links)
