Logic of computer networks

MaRDI QIDQ5395244zbMATH OpenFDO

Authors Heinrich Wansing, Yaroslav Shramko

Publication date 2 November 2006

zbMATH Keywords

16-valued logic4-valued logicbi-consequence logicfirst-degree entailmentgeneralized truth valueslogical bilatticesmultilatticestrilattices

Mathematics Subject Classification ID

Many-valued logic (03B50) Logic in computer science (03B70) Logical aspects of lattices and related structures (03G10) Network design and communication in computer systems (68M10)

Recommendations

• Some useful 16-valued logics: How a computer network should think
• Correspondence analysis for first degree entailment
• A few more useful 8-valued logics for reasoning with tetralattice \(EIGHT_{4}\)
• Harmonious many-valued propositional logics and the logic of computer networks
• Two, three, four, infinity: the path to the four-valued logic and beyond

Cited in

(7)

• Logic explained networks
• Harmonious many-valued propositional logics and the logic of computer networks
• How a computer might reason in terms of Boolean many-valuedness
• scientific article; zbMATH DE number 3959282 (Why is no real title available?)
• Multilevel Logical Networks
• Some useful 16-valued logics: How a computer network should think
• Suszko's thesis, inferential many-valuedness, and the notion of a logical system

This page was built for publication: Logic of computer networks

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