The following pages link to On a coalgebraic view on logic (Q2863171):
Displaying 6 items.
- Layered logics, coalgebraically (Q1742620) (← links)
- Abstract logics as dialgebras (Q2842560) (← links)
- On the Notions of Residuated-Based Coherence and Bilattice-Based Consistence (Q3092201) (← links)
- Invited Talk: Coherentisation of First-Order Logic (Q3455757) (← links)
- (Q4580204) (← links)
- Coalgebraic Announcement Logics (Q5327426) (← links)