Pages that link to "Item:Q2151390"
From MaRDI portal
The following pages link to A non-hyperarithmetical Gödel logic (Q2151390):
Displaying 7 items.
- Nonstandard models and Kripke's proof of the Gödel theorem (Q698542) (← links)
- Hyperresolution for Gödel logic with truth constants (Q2328910) (← links)
- A Generalisation of the Hyperresolution Principle to First Order Gödel Logic (Q2829667) (← links)
- A Hypersequent System for Gödel-Dummett Logic with Non-constant Domains (Q3010373) (← links)
- Positive Arithmetic Without Exchange Is a Subclassical Logic (Q3498443) (← links)
- Some abstract versions of G\"odel's second incompleteness theorem based on non-classical logics (Q5224682) (← links)
- A Note on Gödel-Dummet Logic LC (Q6043008) (← links)
