scientific article; zbMATH DE number 1735929

zbMATH Open0993.03035MaRDI QIDQ4329293FDOQ4329293

Authors: Anna Patterson, Tom Costello 

Publication date: 29 April 2002

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

syntactic translationexponentialslogic transformerstransformation of paraconsistent logics into consistent logics

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Cited In (4)

• 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
• Title not available (Why is that?)
• Paraconsistency in categories: case of relevance logic

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)