Translations between logics: a survey

DOI10.1515/9783110657883-005MaRDI QIDQ5115853zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Cited in

(13)

• The concept of `translation': history and theory
• Microcomputer translator for medical text: Theorem verification for chapter two of Zeman's modal logic
• Paraconsistent logics and translations
• Bridges from language to logic: concepts, contexts and ontologies
• Note on grammatical translations of logical calculi
• Translations between logical systems: A manifesto
• Translation-Based Revision and Merging for Minimal Horn Reasoning.
• Meaning-preserving translations of non-classical logics into classical logic: between pluralism and monism
• What is a logic translation?
• Transfers between logics and their applications
• Translations and similarity-based logic programming
• Translating logical terms
• New dimensions on translations between logics

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)