Pages that link to "Item:Q1896757"

The following pages link to On variable separation in modal and superintuitionistic logics (Q1896757):

Displaying 8 items.

• Decidability of the interpolation problem and of related properties in tabular logics (Q431717) (← links)
• Fuzzy logics from substructural perspective (Q2270232) (← links)
• Halldén completeness for relevant modal logics (Q2354625) (← links)
• 1998 European Summer Meeting of the Association for Symbolic Logic (Q4254644) (← links)
• Variable Sharing in Substructural Logics: an Algebraic Characterization (Q4556011) (← links)
• Singly generated quasivarieties and residuated structures (Q5119904) (← links)
• On Algebraisation of Superintuitionistic Predicate Logics (Q5214741) (← links)
• A syntactic approach to Maksimova's principle of variable separation for some substructural logics (Q5937808) (← links)