The following pages link to (Q5311058):
Displaying 4 items.
- A coalgebraic perspective on logical interpretations (Q368477) (← links)
- A survey on categories of logics and algebraizable logics (Q498003) (← links)
- What is a logic translation? (Q1931306) (← links)
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)
