Pages that link to "Item:Q3450801"
From MaRDI portal
The following pages link to UNIFICATION IN INTERMEDIATE LOGICS (Q3450801):
Displaying 5 items.
- On rules (Q266650) (← links)
- A syntactic approach to unification in transitive reflexive modal logics (Q286704) (← links)
- Tutorial on Admissible Rules in Gudauri (Q3455180) (← links)
- UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS (Q5381031) (← links)
- Unification types and union splittings in intermediate logics (Q6614043) (← links)
