The following pages link to Substructural logics: a primer (Q1405890):
Displaying 8 items.
- NONASSOCIATIVE SUBSTRUCTURAL LOGICS AND THEIR SEMILINEAR EXTENSIONS: AXIOMATIZATION AND COMPLETENESS PROPERTIES (Q5402233) (← links)
- WEAK DISHARMONY: SOME LESSONS FOR PROOF-THEORETIC SEMANTICS (Q5737955) (← links)
- A syntactic approach to Maksimova's principle of variable separation for some substructural logics (Q5937808) (← links)
- The nature of entailment: an informational approach (Q6088597) (← links)
- (Meta)inferential levels of entailment beyond the Tarskian paradigm (Q6088599) (← links)
- A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC (Q6148471) (← links)
- Semiconic idempotent logic. I: Structure and local deduction theorems. (Q6539430) (← links)
- Relevant consequence relations: an invitation (Q6638234) (← links)
