Pages that link to "Item:Q5300578"
From MaRDI portal
The following pages link to Compactness in first-order Godel logics (Q5300578):
Displaying 11 items.
- Two notions of compactness in Gödel logics (Q817682) (← links)
- Compactness of fuzzy logics. (Q1428674) (← links)
- First-order Gödel logics (Q2370370) (← 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)
- A Generalisation of the Hyperresolution Principle to First Order Gödel Logic (Q2829667) (← links)
- Compactness in first order Łukasiewicz logic (Q2903759) (← links)
- From rational Gödel logic to ultrametric logic (Q2957965) (← links)
- Linear Kripke frames and Gödel logics (Q3426561) (← links)
- A semantic proof of strong cut-admissibility for first-order Godel logic (Q4914412) (← links)
- (Q6040894) (← links)