The following pages link to (Q4249037):
Displaying 10 items.
- A coalgebraic perspective on logical interpretations (Q368477) (← links)
- Representations of structural closure operators (Q627430) (← links)
- Synonymous logics (Q1404389) (← links)
- Paraconsistent logics and translations (Q1840969) (← links)
- New dimensions on translations between logics (Q1931302) (← links)
- The middle ground-ancestral logic (Q2053352) (← links)
- Notational variance and its variants (Q2288260) (← links)
- Metasequents and tetravaluations (Q2679584) (← links)
- Many-Valued Logics and Translations (Q4443423) (← links)
- Conservative translations (Q5935991) (← links)
