scientific article; zbMATH DE number 1735929

MaRDI QIDQ4329293zbMATHFDO

Authors Anna Patterson, Tom Costello

Publication date 29 April 2002

zbMATH Keywords

syntactic translationexponentialslogic transformerstransformation of paraconsistent logics into consistent logics

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Recommendations

• Embedding operations and their application
• scientific article; zbMATH DE number 517072
• A modal view of linear logic
• Paraconsistent logics and translations
• On a paraconsistentization functor in the category of consequence structures

Cited in

(4)

• Paraconsistency in categories: case of relevance logic
• scientific article; zbMATH DE number 517072 (Why is no real title available?)
• Hybrid functional interpretations of linear and intuitionistic logic
• An inside view of EXP; or, The closed fragment of the provability logic of IΔ₀ + Ω₁ with a prepositional constant for EXP

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 Q4329293)