Translations between logics: a survey

DOI10.1515/9783110657883-005zbMATH Open1465.03047OpenAlexW4229496725MaRDI QIDQ5115853FDOQ5115853

Hércules A. Feitosa, Itala D'Ottaviano

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

• scientific article; zbMATH DE number 1302507
• New dimensions on translations between logics
• Translations between logical systems: A manifesto
• Paraconsistent logics and translations
• Conservative translations

Mathematics Subject Classification ID

Abstract deductive systems (03B22) Categorical logic, topoi (03G30)

Cited In (8)

• Transfers between logics and their applications
• Translations and similarity-based logic programming
• Translations between logical systems: A manifesto
• 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)