Pages that link to "Item:Q3147430"
From MaRDI portal
The following pages link to A Resolution/Tableaux Algorithm for Projective Approximations in IPC (Q3147430):
Displaying 13 items.
- On rules (Q266650) (← links)
- A syntactic approach to unification in transitive reflexive modal logics (Q286704) (← links)
- On unification and admissible rules in Gabbay-de Jongh logics (Q386639) (← links)
- Intermediate logics and Visser's rules (Q558441) (← links)
- Unification, finite duality and projectivity in varieties of Heyting algebras (Q598304) (← links)
- Unification in linear temporal logic LTL (Q716499) (← links)
- Complexity of admissible rules (Q868660) (← links)
- Proof theory for admissible rules (Q1023055) (← links)
- Best solving modal equations (Q1971794) (← links)
- On the rules of intermediate logics (Q2501166) (← links)
- A Tableau Method for Checking Rule Admissibility in S4 (Q3185759) (← links)
- Tutorial on Admissible Rules in Gudauri (Q3455180) (← links)
- DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV (Q5009678) (← links)