Pages that link to "Item:Q1931302"
From MaRDI portal
The following pages link to New dimensions on translations between logics (Q1931302):
Displaying 19 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)
- Note on grammatical translations of logical calculi (Q1204116) (← links)
- On the concept of a notational variant (Q1679767) (← links)
- Transfers between logics and their applications (Q1868251) (← links)
- What is a logic translation? (Q1931306) (← 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 logical terms (Q2288257) (← links)
- Notational variance and its variants (Q2288260) (← 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)