Pages that link to "Item:Q2903751"
From MaRDI portal
The following pages link to Unification and projectivity in Fregean varieties (Q2903751):
Displaying 8 items.
- Almost structural completeness; an algebraic approach (Q278762) (← links)
- Unification, finite duality and projectivity in varieties of Heyting algebras (Q598304) (← links)
- Category equivalence preserves unification type (Q1272240) (← links)
- Unification and projectivity in De Morgan and Kleene algebras. (Q2510377) (← links)
- Projectivity and unification in substructural logics of generalized rotations (Q2677856) (← links)
- Algebraic semantics for the (↔, ¬¬)-fragment of IPC (Q3117777) (← links)
- Unification through projectivity (Q4381867) (← links)
- Algebraic semantics for the ‐fragment of and its properties (Q5108101) (← links)