Pages that link to "Item:Q5109220"
From MaRDI portal
The following pages link to A note on decidability of variables in intuitionistic propositional logic (Q5109220):
Displaying 4 items.
- Individual concepts as propositional variables in \(ML^{\nu +1}\) (Q760420) (← links)
- Variable declarations in natural deduction (Q861825) (← links)
- Eigenvariables, bracketing and the decidability of positive minimal intuitionistic logic (Q4924544) (← links)
- Decidable variables for constructive logics (Q6047667) (← links)