Finite-valued logics for information processing

MaRDI QIDQ2882458zbMATH OpenFDO

Authors Arnon Avron, Beata Konikowska

Publication date 4 May 2012

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL http://iospress.metapress.com/content/h7312725413xq675/fulltext.html

zbMATH Keywords

finite logicsincomplete informationinconsistent informationinformation processingmany-valued logicsnondeterministic logical matricessequent calculi

Mathematics Subject Classification ID

Many-valued logic (03B50) Logic in computer science (03B70)

Recommendations

• Processing Information from a Set of Sources
• Expansion and contraction of finite states
• Studying incompleteness of information: A class of information logics
• scientific article; zbMATH DE number 3934437
• A capacity-based framework encompassing Belnap-Dunn logic for reasoning about multisource information

Cited in

(4)

• Four-valued paradefinite logics
• Processing Information from a Set of Sources
• Society semantics and the logic way to collective intelligence
• Comments on the Papers

This page was built for publication: Finite-valued logics for information processing

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