The following pages link to Computer Science Logic (Q5292641):
Displaying 8 items.
- Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\) (Q385070) (← links)
- On unification and admissible rules in Gabbay-de Jongh logics (Q386639) (← links)
- Intermediate logics and Visser's rules (Q558441) (← links)
- Best unifiers in transitive modal logics (Q647403) (← links)
- Unification in linear temporal logic LTL (Q716499) (← links)
- Proof theory for admissible rules (Q1023055) (← links)
- Inference rules in Nelson's logics, admissibility and weak admissibility (Q2342802) (← links)
- On the rules of intermediate logics (Q2501166) (← links)
