scientific article; zbMATH DE number 1302507

MaRDI QIDQ4249037zbMATH OpenFDO

Authors Jairo José da Silva, Itala D'Ottaviano, Antonio M. A. Sette

Publication date 16 June 1999

zbMATH Keywords

bicomplete categoryconsequence relationscontinuous functionstopological spacestranslation between logics

Mathematics Subject Classification ID

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

Recommendations

• Translations between logical systems: A manifesto
• Translations between logics: a survey
• Conservative translations
• New dimensions on translations between logics

Cited in

(24)

• Note on grammatical translations of logical calculi
• May I borrow your logic? (Transporting logical structures along maps)
• Synonymous logics
• Translations and similarity-based logic programming
• Paraconsistent logics and translations
• Transfers between logics and their applications
• New dimensions on translations between logics
• What is a logic translation?
• The middle ground-ancestral logic
• Meaning-preserving translations of non-classical logics into classical logic: between pluralism and monism
• Translating logical terms
• Notational variance and its variants
• Metasequents and tetravaluations
• The concept of `translation': history and theory
• scientific article; zbMATH DE number 4213976 (Why is no real title available?)
• A coalgebraic perspective on logical interpretations
• Many-Valued Logics and Translations
• Algebraizable logics and a functorial encoding of its morphisms
• SIMILARITY LOGIC AND TRANSLATIONS
• Translations between logics: a survey
• Homotopical categories of logics
• Conservative translations
• Truth as translation. Part A
• Representations of structural closure operators

This page was built for publication:

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