Paraconsistent logics and translations

DOI10.1023/A:1005298624839zbMATH Open0969.03042OpenAlexW1489330838MaRDI QIDQ1840969FDOQ1840969

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

Recommendations

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

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)

Cites Work

• Theory of logical calculi. Basic theory of consequence operations
• Title not available (Why is that?)
• An algebraic approach to non-classical logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Maximal weakly-intuitionistic logics
• Translations between logical systems: A manifesto
• Title not available (Why is that?)
• Many-Valued Logics and Translations
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (16)

• Possible-translations algebraization for paraconsistent logics
• Title not available (Why is that?)
• Possible-translations semantics for some weak classically-based paraconsistent logics
• Title not available (Why is that?)
• Transfer theorems for extensions of the paraconsistent Nelson logic
• k-transforms in classical and paraconsistent logics
• Title not available (Why is that?)
• Translations between logical systems: A manifesto
• The ubiquity of conservative translations
• New dimensions on translations between logics
• Many-Valued Logics and Translations
• Conservative translations revisited
• Title not available (Why is that?)
• Bochvar's three-valued logic and literal paralogics: Their lattice and functional equivalence
• Note on grammatical translations of logical calculi
• Conservative translations

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)