Pages that link to "Item:Q5381031"
From MaRDI portal
The following pages link to UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS (Q5381031):
Displaying 4 items.
- Synthesis of sup-interpretations: a survey (Q1935778) (← links)
- UNIFICATION IN INTERMEDIATE LOGICS (Q3450801) (← links)
- On Finite Domains Based Slices in the Structure of Superintuitionistic Predicate Logics, Preview (Q6051797) (← links)
- Unification types and union splittings in intermediate logics (Q6614043) (← links)