An eight-valued praconsistent logic

DOI10.4467/20842589RM.14.001.2271MaRDI QIDQ5499647zbMATH OpenOpenAlexFDO

Authors Norihiro Kamide

Publication date 30 July 2015

Full work available at URL https://dblp.uni-trier.de/db/journals/rml/rml49.html#Kamide14

zbMATH Keywords

cut-elimination theoremeight-valued logicparaconsistent logics

Mathematics Subject Classification ID

Many-valued logic (03B50) Paraconsistent logics (03B53) Cut-elimination and normal-form theorems (03F05)

Recommendations

• A few more useful 8-valued logics for reasoning with tetralattice \(EIGHT_{4}\)
• On genuine paraconsistent and genuine paracomplete newline many-valued logics
• scientific article; zbMATH DE number 1931671
• A Para Consistent Fuzzy Logic
• Two Genuine 3-Valued Paraconsistent Logics

Cited in

(2)

• A few more useful 8-valued logics for reasoning with tetralattice \(EIGHT_{4}\)
• scientific article; zbMATH DE number 3875237 (Why is no real title available?)

This page was built for publication: An eight-valued praconsistent logic

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