Pages that link to "Item:Q3591067"

The following pages link to On the Algebraization of Many-Sorted Logics (Q3591067):

Displaying 3 items.

• Abstract valuation semantics (Q368484) (← links)
• Categorical abstract algebraic logic: behavioral \(\pi\)-institutions (Q456973) (← links)
• Behavioral algebraization of logics (Q1005974) (← links)