The following pages link to (Q5690146):
Displaying 8 items.
- On rules (Q266650) (← links)
- Almost structural completeness; an algebraic approach (Q278762) (← links)
- Projectivity and unification in substructural logics of generalized rotations (Q2677856) (← links)
- DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV (Q5009678) (← links)
- UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS (Q5381031) (← links)
- Admissibility and unification in the modal logics related to S4.2 (Q6153443) (← links)
- About the unification types of modal logics (Q6612813) (← links)
- Unification types and union splittings in intermediate logics (Q6614043) (← links)
