Pages that link to "Item:Q3450801"
From MaRDI portal
The following pages link to UNIFICATION IN INTERMEDIATE LOGICS (Q3450801):
Displaying 14 items.
- On rules (Q266650) (← links)
- A syntactic approach to unification in transitive reflexive modal logics (Q286704) (← links)
- On the unity of logic (Q685059) (← links)
- On the logic of unification (Q1823935) (← links)
- Tutorial on Admissible Rules in Gudauri (Q3455180) (← links)
- T-string unification: Unifying prefixes in non-classical proof methods (Q4645241) (← links)
- A unification of the basic logics of Sambin and Visser (Q4914008) (← links)
- Writing out unifiers for formulas with coefficients in intuitionistic logic (Q4925166) (← links)
- Unifying Theories of Logic and Specification (Q5166658) (← links)
- Unification in first-order transitive modal logic (Q5241924) (← links)
- UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS (Q5381031) (← links)
- Algebraic and logical aspects of unification (Q6169562) (← links)
- Unification in Łukasiewicz Logic with a Finite Number of Variables (Q6485187) (← links)
- Unification types and union splittings in intermediate logics (Q6614043) (← links)