Pages that link to "Item:Q4133591"
From MaRDI portal
The following pages link to Embedding first order predicate logic in fragments of intuitionistic logic (Q4133591):
Displaying 12 items.
- Existential type systems between Church and Curry style (type-free style) (Q402117) (← links)
- Inhabitation of polymorphic and existential types (Q636375) (← links)
- CPS-translation as adjoint (Q1044830) (← links)
- Propositional quantification in the topological semantics for \(\mathbf S4\) (Q1381441) (← links)
- A sequent calculus for subtyping polymorphic types (Q1854408) (← links)
- Eigenvariables, bracketing and the decidability of positive minimal predicate logic (Q2503325) (← links)
- A simple proof of the undecidability of inhabitation in λP (Q3125231) (← links)
- Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic Propositional Logic (Q3647305) (← links)
- Third-order matching in the polymorphic lambda calculus (Q4645813) (← links)
- Eigenvariables, bracketing and the decidability of positive minimal intuitionistic logic (Q4924544) (← links)
- (Q5091142) (← links)
- (Q5101355) (← links)
