Pages that link to "Item:Q1616771"
From MaRDI portal
The following pages link to On the classification of first order Gödel logics (Q1616771):
Displaying 11 items.
- First-order satisfiability in Gödel logics: an NP-complete fragment (Q650893) (← links)
- Most general first order theorems are not recursively enumerable (Q672461) (← links)
- Two notions of compactness in Gödel logics (Q817682) (← links)
- Note on witnessed Gödel logics with Delta (Q1035647) (← links)
- Ten problems in Gödel logic (Q1699740) (← links)
- First-order Gödel logics (Q2370370) (← links)
- The Löwenheim-Skolem theorem for Gödel logic (Q2683781) (← links)
- A Generalisation of the Hyperresolution Principle to First Order Gödel Logic (Q2829667) (← links)
- On two classical results in the first order logic (Q3090754) (← links)
- A semantic proof of strong cut-admissibility for first-order Godel logic (Q4914412) (← links)
- A non-arithmetical Gödel logic (Q5703739) (← links)