On translating between logics

DOI10.1093/ANALYS/ANY001MaRDI QIDQ5210556zbMATH OpenOpenAlexFDO

Authors Neil Dewar

Publication date 21 January 2020

Published in Analysis (Search for Journal in Brave)

Full work available at URL http://philsci-archive.pitt.edu/14268/1/wigglesworth_1.0.pdf

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

equivalenceintuitionismlogic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) General logic (03B99) Relative consistency and interpretations (03F25)

Recommendations

• Synonymous logics
• scientific article; zbMATH DE number 3946092
• Synonymous logics: a correction
• Translating logical terms
• The ubiquity of conservative translations

Cited in

(15)

• Note on grammatical translations of logical calculi
• Synonymous logics
• Translations and similarity-based logic programming
• Meaning-preserving translations of non-classical logics into classical logic: between pluralism and monism
• Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics
• A Warning About Translating Axioms
• scientific article; zbMATH DE number 4164812 (Why is no real title available?)
• scientific article; zbMATH DE number 3946092 (Why is no real title available?)
• Freeing Structural Realism from Model Theory
• Mutual translatability, equivalence, and the structure of theories
• Erratum to: ``A ground-theoretical modal definition of essence
• Corrigendum to: ``On translating between logics
• Intertranslatability and ground-equivalence
• On logical and scientific strength
• Relative interpretation between logics

This page was built for publication: On translating between logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5210556)