Pages that link to "Item:Q456973"
From MaRDI portal
The following pages link to Categorical abstract algebraic logic: behavioral \(\pi\)-institutions (Q456973):
Displaying 5 items.
- Categorical abstract algebraic logic: meet-combination of logical systems (Q355641) (← links)
- Abstract valuation semantics (Q368484) (← links)
- Behavioral algebraization of logics (Q1005974) (← links)
- Categorical abstract algebraic logic: truth-equational \(\pi\)-institutions (Q2354626) (← links)
- A short overview of Hidden Logic (Q4586416) (← links)