Pages that link to "Item:Q1575923"
From MaRDI portal
The following pages link to On the intuitionistic force of classical search (Q1575923):
Displaying 5 items.
- A proof-search procedure for intuitionistic propositional logic (Q377482) (← links)
- Proof-search in type-theoretic languages: An introduction (Q1575935) (← links)
- Non-strictly positive fixed points for classical natural deduction (Q1772778) (← links)
- A short proof of the strong normalization of classical natural deduction with disjunction (Q4650284) (← links)
- On the semantics of classical disjunction (Q5939825) (← links)
