The following pages link to (Q4249225):
Displaying 4 items.
- Decidability of the interpolation problem and of related properties in tabular logics (Q431717) (← links)
- Connected modal logics (Q535140) (← links)
- Variable Sharing in Substructural Logics: an Algebraic Characterization (Q4556011) (← links)
- On Algebraisation of Superintuitionistic Predicate Logics (Q5214741) (← links)
