Pages that link to "Template:Proposition"
From LLWiki
The following pages link to Template:Proposition:
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Intuitionistic linear logic (transclusion) (← links)
- Sequent calculus (transclusion) (← links)
- Positive formula (transclusion) (← links)
- GoI for MELL: partial isometries (transclusion) (← links)
- Orthogonality relation (transclusion) (← links)
- Negative formula (transclusion) (← links)
- Regular formula (transclusion) (← links)