Synonymous logics

DOI10.1023/A:1024248828122MaRDI QIDQ1404389zbMATH OpenFDO

Authors Francis Jeffry Pelletier, Alasdair Urquhart

Publication date 21 August 2003

Published in Journal of Philosophical Logic (Search for Journal in Brave)

zbMATH Keywords

modal logictranslationsynonymy

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Modal logic (including the logic of norms) (03B45)

Recommendations

• scientific article; zbMATH DE number 3946092
• Synonymous logics: a correction
• On translating between logics
• scientific article; zbMATH DE number 1302507
• Translations between logical systems: A manifesto

Cites work

• scientific article; zbMATH DE number 3922620 (Why is no real title available?)
• scientific article; zbMATH DE number 3946092 (Why is no real title available?)
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 45458 (Why is no real title available?)
• scientific article; zbMATH DE number 1302507 (Why is no real title available?)
• scientific article; zbMATH DE number 755666 (Why is no real title available?)
• scientific article; zbMATH DE number 819737 (Why is no real title available?)
• scientific article; zbMATH DE number 3245483 (Why is no real title available?)
• scientific article; zbMATH DE number 3271460 (Why is no real title available?)
• scientific article; zbMATH DE number 3299687 (Why is no real title available?)
• scientific article; zbMATH DE number 3349803 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• Boolean Algebras with Operators. Part I
• Constructivism in mathematics. An introduction. Volume II
• Equivalential logics. I
• Homeomorphism and the equivalence of logical systems
• Modal system S4.4
• Reduction of tense logic to modal logic II
• Reduction of tense logic to modal logic. I
• Some theorems about the sentential calculi of Lewis and Heyting
• Theory of Matroids
• Theory of logical calculi. Basic theory of consequence operations

Cited in

(31)

• Axiomatisations of the genuine three-valued paraconsistent logics \(\mathbf{L3A}_{\mathbf{G}}\) and \(\mathbf{L3B}_{\mathbf{G}}\)
• Twins in logic -- identical and otherwise
• Translating logical terms
• DEFINING KNOWLEDGE IN TERMS OF BELIEF: THE MODAL LOGIC PERSPECTIVE
• Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics
• Quine's conjecture on many-sorted logic
• scientific article; zbMATH DE number 7594253 (Why is no real title available?)
• Notational variance and its variants
• On some semi-intuitionistic logics
• Semantic penumbra: concept similarity in logic
• Synonymous logics: a correction
• Equivalence of syllogisms
• Glymour and Quine on theoretical equivalence
• The versatility of universality in \textit{Principia mathematica}
• ON DEFINABILITY IN MULTIMODAL LOGIC
• A Logical Autobiography
• Isomorphism via translation
• On translating between logics
• Quineanism, noneism and metaphysical equivalence
• On the concept of a notational variant
• The semi Heyting-Brouwer logic
• SIMILARITY LOGIC AND TRANSLATIONS
• scientific article; zbMATH DE number 2196611 (Why is no real title available?)
• Freeing Structural Realism from Model Theory
• scientific article; zbMATH DE number 3946092 (Why is no real title available?)
• Morita equivalence
• Logics of synonymy
• Gentzen-style sequent calculus for semi-intuitionistic logic
• Meta-logic programming for a synonymy logic
• From geometry to conceptual relativity
• Possibility and dyadic contingency

This page was built for publication: Synonymous logics

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