The following pages link to Relevant analytic tableaux (Q1257473):
Displaying 4 items.
- A generalization of analytic deduction via labelled deductive systems. I: Basic substructural logics (Q1344886) (← links)
- CUT AND GAMMA I: PROPOSITIONAL AND CONSTANT DOMAIN <b>R</b> (Q3389499) (← links)
- European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988 (Q3478381) (← links)
- Relevance-Sensitive Truth-Trees (Q5027231) (← links)
