The following pages link to Conservative translations (Q5935991):
Displaying 16 items.
- A coalgebraic perspective on logical interpretations (Q368477) (← links)
- Three-valued logics in modal logic (Q383567) (← links)
- Representations of structural closure operators (Q627430) (← links)
- New dimensions on translations between logics (Q1931302) (← links)
- What is a logic translation? (Q1931306) (← links)
- Notational variance and its variants (Q2288260) (← links)
- Translating non-classical logics into classical logic by using hidden variables (Q2399603) (← links)
- Metasequents and tetravaluations (Q2679584) (← links)
- Refinement by Interpretation in a General Setting (Q2994492) (← links)
- XIV Latin American Symposium on Mathematical Logic (SLALM) (Q3398618) (← links)
- Analytical tableaux for da Costa's hierarchy of paraconsistent logics C<sub>n</sub>, 1≤n<ω (Q3647223) (← links)
- THE UBIQUITY OF CONSERVATIVE TRANSLATIONS (Q4899964) (← links)
- BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS (Q5159492) (← links)
- Observational Refinement Process (Q5403465) (← links)
- From Inconsistency to Incompatibility (Q6107289) (← links)
- Conservative translations revisited (Q6156208) (← links)
