Paraconsistent logics and translations

DOI10.1023/A:1005298624839MaRDI QIDQ1840969zbMATHOpenAlexFDO

Authors Itala D'Ottaviano, Hércules A. Feitosa

Publication date 21 June 2001

Published in Synthese (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1005298624839

zbMATH Keywords

intuitionistic logicparaconsistent logiccategoryclassical propositional logicthree-valued logicconservative translation between logics

Mathematics Subject Classification ID

Classical propositional logic (03B05) Many-valued logic (03B50) Paraconsistent logics (03B53) Subsystems of classical logic (including intuitionistic logic) (03B20) Abstract deductive systems (03B22) Categorical logic, topoi (03G30)

Recommendations

• Translations between logical systems: A manifesto
• The ubiquity of conservative translations
• Many-Valued Logics and Translations
• Translations between logics: a survey
• Conservative translations

Cites work

• scientific article; zbMATH DE number 4142015 (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 551010 (Why is no real title available?)
• scientific article; zbMATH DE number 3993546 (Why is no real title available?)
• scientific article; zbMATH DE number 3453564 (Why is no real title available?)
• scientific article; zbMATH DE number 3299687 (Why is no real title available?)
• scientific article; zbMATH DE number 3315182 (Why is no real title available?)
• scientific article; zbMATH DE number 3333259 (Why is no real title available?)
• scientific article; zbMATH DE number 3192057 (Why is no real title available?)
• scientific article; zbMATH DE number 4189700 (Why is no real title available?)
• An algebraic approach to non-classical logics
• Many-Valued Logics and Translations
• Maximal weakly-intuitionistic logics
• Theory of logical calculi. Basic theory of consequence operations
• Translations between logical systems: A manifesto

Cited in

(18)

• Possible-translations semantics for some weak classically-based paraconsistent logics
• scientific article; zbMATH DE number 1735924 (Why is no real title available?)
• The ubiquity of conservative translations
• scientific article; zbMATH DE number 1301756 (Why is no real title available?)
• Note on grammatical translations of logical calculi
• Many-Valued Logics and Translations
• Bochvar's three-valued logic and literal paralogics: their lattice and functional equivalence
• scientific article; zbMATH DE number 1735929 (Why is no real title available?)
• Some interpretation of a logic of pragmatic truth
• Translations between logical systems: A manifesto
• Conservative translations
• scientific article; zbMATH DE number 4033699 (Why is no real title available?)
• Possible-translations algebraization for paraconsistent logics
• Translations between logics: a survey
• Transfer theorems for extensions of the paraconsistent Nelson logic
• New dimensions on translations between logics
• k-transforms in classical and paraconsistent logics
• Conservative translations revisited

This page was built for publication: Paraconsistent logics and translations

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