The following pages link to Bulletin of the Section of Logic (Q2810124):
Displaying 5 items.
- Variable Sharing in Substructural Logics: an Algebraic Characterization (Q4556011) (← links)
- Involutive Nonassociative Lambek Calculus: Sequent Systems and Complexity (Q4608556) (← links)
- On Theses Without Iterated Modalities of Modal Logics Between C1 and S5. Part 1 (Q4608558) (← links)
- Cut Elimination Theorem for Non-Commutative Hypersequent Calculus (Q4608559) (← links)
- On the Definability of Leśniewski’s Copula ‘is’ in Some Ontology-Like Theories (Q5742615) (← links)
