Pages that link to "Item:Q1931302"

The following pages link to New dimensions on translations between logics (Q1931302):

Displaying 13 items.

• Nice embedding in classical logic (Q300555) (← links)
• Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach (Q301373) (← links)
• A coalgebraic perspective on logical interpretations (Q368477) (← links)
• The single-minded pursuit of consistency and its weakness (Q631514) (← links)
• Meaning-preserving translations of non-classical logics into classical logic: between pluralism and monism (Q2078975) (← links)
• Introduction: Logical pluralism and translation (Q2288253) (← links)
• Translating non-classical logics into classical logic by using hidden variables (Q2399603) (← links)
• The original sin of proof-theoretic semantics (Q2690170) (← links)
• THE UBIQUITY OF CONSERVATIVE TRANSLATIONS (Q4899964) (← links)
• The Evil Twin: The Basics of Complement-Toposes (Q5241534) (← links)
• Universal Logic as a Science of Patterns (Q5258967) (← links)
• Conservative translations revisited (Q6156208) (← links)
• Why classical logic is privileged: justification of logics based on translatability (Q6180141) (← links)