Pages that link to "Item:Q1344886"
From MaRDI portal
The following pages link to A generalization of analytic deduction via labelled deductive systems. I: Basic substructural logics (Q1344886):
Displayed 7 items.
- Representing scope in intuitionistic deductions (Q1274448) (← links)
- Proof-search in type-theoretic languages: An introduction (Q1575935) (← links)
- Using tableaux to automate the Lambek and other categorial calculi (Q1854380) (← links)
- The universe of propositional approximations (Q2369011) (← links)
- Truth-values as labels: a general recipe for labelled deduction (Q3643258) (← links)
- Relational semantics and a relational proof system for full Lambek calculus (Q4212926) (← links)
- The Universe of Approximations (Q4924531) (← links)