The following pages link to (Q4249037):
Displaying 13 items.
- A coalgebraic perspective on logical interpretations (Q368477) (← links)
- Representations of structural closure operators (Q627430) (← links)
- Note on grammatical translations of logical calculi (Q1204116) (← links)
- Synonymous logics (Q1404389) (← links)
- Translations and similarity-based logic programming (Q1606792) (← links)
- Paraconsistent logics and translations (Q1840969) (← links)
- New dimensions on translations between logics (Q1931302) (← links)
- The middle ground-ancestral logic (Q2053352) (← links)
- Meaning-preserving translations of non-classical logics into classical logic: between pluralism and monism (Q2078975) (← links)
- Notational variance and its variants (Q2288260) (← links)
- Metasequents and tetravaluations (Q2679584) (← links)
- Many-Valued Logics and Translations (Q4443423) (← links)
- Conservative translations (Q5935991) (← links)