scientific article; zbMATH DE number 2209450

MaRDI QIDQ5692437zbMATH OpenFDO

Authors

Publication date 28 September 2005

Mathematics Subject Classification ID

Many-valued logic (03B50) Paraconsistent logics (03B53)

Recommendations

• Two Genuine 3-Valued Paraconsistent Logics
• scientific article; zbMATH DE number 1775473
• Three-valued paraconsistent propositional logics
• Axiomatization of the sentential logic dual with respect to Łukasiewicz's three-valued logic
• A paraconsistent logic obtained from an algebra-valued model of set theory

Cited in

(5)

• scientific article; zbMATH DE number 2209454 (Why is no real title available?)
• A basic dual intuitionistic logic and some of its extensions included in \(\mathrm{G}3_{\mathrm{DH}}\)
• Axiomatization of the sentential logic dual with respect to Łukasiewicz's three-valued logic
• Natural deduction system for three-valued Heyting's logic
• Medium logic and Woodruff's three-valued 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 Q5692437)