Pages that link to "Item:Q4408806"
From MaRDI portal
The following pages link to Modal operators and the formal dual of Birkhoffs completeness theorem This research is part of the Logic of Types and Computation project at Carnegie Mellon University under the direction of Dana Scott. (Q4408806):
Displayed 7 items.
- A logic of implications in algebra and coalgebra (Q1047097) (← links)
- Observational ultraproducts of polynomial coalgebras. (Q1408860) (← links)
- Factorization systems and fibrations (Q2842821) (← links)
- Regular Varieties of Automata and Coequations (Q2941177) (← links)
- From Varieties of Algebras to Covarieties of Coalgebras (Q4917031) (← links)
- Modal Operators for Coequations (Q4917039) (← links)
- Duality of Equations and Coequations via Contravariant Adjunctions (Q5739450) (← links)