k-transforms in classical and paraconsistent logics

DOI10.12775/LLP.1999.005MaRDI QIDQ3149168zbMATH OpenFDO

Authors Roque da C. Caiero, N. C. A. da Costa

Publication date 11 November 2002

Published in Logic and Logical Philosophy (Search for Journal in Brave)

Full work available at URL https://doi.org/10.12775/LLP.1999.005

zbMATH Keywords

\(k\)-transformparaconsistent logicpredicate calculus

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Recommendations

• scientific article; zbMATH DE number 3950489
• Syntactical and semantical characterization of a class of paraconsistent logics
• scientific article; zbMATH DE number 1885175
• scientific article; zbMATH DE number 2109240
• Paraconsistent logics and translations

Cited in

(4)

• scientific article; zbMATH DE number 437436 (Why is no real title available?)
• scientific article; zbMATH DE number 3882420 (Why is no real title available?)
• scientific article; zbMATH DE number 4183450 (Why is no real title available?)
• Matching µ-logic: Foundation of K framework

This page was built for publication: k-transforms in classical and paraconsistent logics

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