The following pages link to Leonardo Bruno Vana (Q2866736):
Displayed 5 items.
- Sequent Calculi for ‘Generally’ (Q2866737) (← links)
- (Q3119359) (← links)
- A Tableau Method for the Lambek Calculus based on a Matrix Characterization (Q4924540) (← links)
- On the Structure of Natural Deduction Derivations for “Generally” (Q5251189) (← links)
- Natural Deduction for 'Generally' (Q5437004) (← links)