scientific article; zbMATH DE number 1735929

zbMATH Open0993.03035MaRDI QIDQ4329293FDOQ4329293

Tom Costello, Anna Patterson

Publication date: 29 April 2002

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

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)