Pages that link to "Item:Q1896757"
From MaRDI portal
The following pages link to On variable separation in modal and superintuitionistic logics (Q1896757):
Displaying 3 items.
- Decidability of the interpolation problem and of related properties in tabular logics (Q431717) (← links)
- Variable Sharing in Substructural Logics: an Algebraic Characterization (Q4556011) (← links)
- A syntactic approach to Maksimova's principle of variable separation for some substructural logics (Q5937808) (← links)
