Translations between logics: a survey
From MaRDI portal
Publication:5115853
DOI10.1515/9783110657883-005zbMATH Open1465.03047OpenAlexW4229496725MaRDI QIDQ5115853FDOQ5115853
Authors: Itala D'Ottaviano, Hércules A. Feitosa 
Publication date: 21 August 2020
Published in: Philosophy of Logic and Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1515/9783110657883-005
Recommendations
Cited In (13)
- The concept of `translation': history and theory
- Bridges from language to logic: concepts, contexts and ontologies
- Transfers between logics and their applications
- Translations and similarity-based logic programming
- Translating logical terms
- Translations between logical systems: A manifesto
- New dimensions on translations between logics
- What is a logic translation?
- Microcomputer translator for medical text: Theorem verification for chapter two of Zeman's modal logic
- Note on grammatical translations of logical calculi
- Translation-Based Revision and Merging for Minimal Horn Reasoning.
- Meaning-preserving translations of non-classical logics into classical logic: between pluralism and monism
- Paraconsistent logics and translations
This page was built for publication: Translations between logics: a survey
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5115853)
