On translating between logics

DOI10.1093/ANALYS/ANY001zbMath1428.03014OpenAlexW2782717037MaRDI QIDQ5210556

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

zbMATH Keywords

equivalencelogicintuitionism

Mathematics Subject Classification ID

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

Related Items (2)

Freeing Structural Realism from Model Theory ⋮ Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics

This page was built for publication: On translating between logics