First-order Gödel logics
From MaRDI portal
Publication:2370370
DOI10.1016/j.apal.2007.03.001zbMath1146.03010arXivmath/0601147OpenAlexW1611875164MaRDI QIDQ2370370
Matthias Baaz, Richard Zach, Norbert Preining
Publication date: 25 June 2007
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/math/0601147
Related Items (27)
On the classification of first order Gödel logics ⋮ Decidability of order-based modal logics ⋮ First-order nilpotent minimum logics: first steps ⋮ EPSILON THEOREMS IN INTERMEDIATE LOGICS ⋮ One-variable fragments of intermediate logics over linear frames ⋮ Consequence and Degrees of Truth in Many-Valued Logic ⋮ Monadic Fragments of Gödel Logics: Decidability and Undecidability Results ⋮ Time and Gödel: fuzzy temporal reasoning in PSPACE ⋮ Trakhtenbrot theorem and first-order axiomatic extensions of MTL ⋮ A note on strong axiomatization of Gödel justification logic ⋮ The Löwenheim-Skolem theorem for Gödel logic ⋮ Nested sequents for intermediate logics: the case of Gödel-Dummett logics ⋮ Ten problems in Gödel logic ⋮ Deciding logics of linear Kripke frames with scattered end pieces ⋮ The class of all natural implicative expansions of Kleene's strong logic functionally equivalent to Łukasiewicz's 3-valued logic Ł3 ⋮ First-order satisfiability in Gödel logics: an NP-complete fragment ⋮ UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS ⋮ A simple Henkin-style completeness proof for Gödel 3-valued logic G3 ⋮ Dual equivalent two-valued under-determined and over-determined interpretations for Łukasiewicz's 3-valued logic Ł3 ⋮ On witnessed models in fuzzy logic III - witnessed Gödel logics ⋮ A Multiple-Conclusion Calculus for First-Order Gödel Logic ⋮ A Routley-Meyer semantics for Gödel 3-valued logic and its paraconsistent counterpart ⋮ Standard Gödel modal logics ⋮ Compactness in Infinitary Gödel Logics ⋮ SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability ⋮ Note on witnessed Gödel logics with Delta ⋮ Arithmetical complexity of fuzzy predicate logics -- a survey. II.
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Continuous Fraïssé conjecture
- Another proof of the strong completeness of the intuitionistic fuzzy logic
- Metamathematics of fuzzy logic
- Completeness of a first-order temporal logic with time-gaps
- A proof-theoretical investigation of global intuitionistic (fuzzy) logic
- Herbrand’s Theorem for Prenex Gödel Logic and Its Consequences for Theorem Proving
- Linear Kripke frames and Gödel logics
- Intuitionistic fuzzy logic and intuitionistic fuzzy set theory
- Die nichtaxiomatisierbarkeit des unendlichwertigen Prädikatenkalküls von Łukasiewicz
- Hypersequent Calculi for Godel Logics -- a Survey
- $ℵ_0$-categoricity of linear orderings
- Logic with truth values in A linearly ordered heyting algebra
- A non-arithmetical Gödel logic
This page was built for publication: First-order Gödel logics
