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):
Displaying 13 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)
- Labelling ideality and subideality (Q4632306) (← links)
- Fibred tableaux for multi-implication logics (Q4645223) (← links)
- Distributed modal theorem proving with KE (Q4645234) (← links)
- Tableaux and algorithms for Propositional Dynamic Logic with Converse (Q4647551) (← links)
- Grammar specification in categorial logics and theorem proving (Q4647559) (← links)
- (Q4698607) (← links)
- The Universe of Approximations (Q4924531) (← links)
