Pages that link to "Item:Q5641136"
From MaRDI portal
The following pages link to Ein Henkin-Beweis für die Vollständigkeit eines Kalküls relativ zur Grzegorczyk-Semantik (Q5641136):
Displaying 5 items.
- Completeness theorems for some intermediate predicate calculi (Q1061734) (← links)
- Intuitionistic axiomatizations for bounded extension Kripke models. (Q1412839) (← links)
- Failure of Interpolation in Constant Domain Intuitionistic Logic (Q2869908) (← links)
- 2000 Annual Meeting of the Association for Symbolic Logic (Q4527937) (← links)
- 1999 European Summer Meeting of the Association for Symbolic Logic (Q4953838) (← links)
