Logics of reasonable information sources

Arnon Avron, Jonathan Ben-Naim, Beata Konikowska

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

Extending the work of Belnap [3], we continue our research on ESP structures, consisting of information sources and a processor which collects information from the sources, and develops it further using certain coherent rules. We examine the case of reasonable sources which provide coherent information, characterize the logic of a single reasonable source, and prove that the logics generated by ESP structures with reasonable sources coincide with the general source-processor logics described in our previous work. However, we show that, unlike the case of arbitrary sources, there are processor valuations in general ESPstructures which cannot be obtained from anyfinite number of valuations defined by reasonable sources.

Original languageEnglish
Title of host publicationISMVL 2010 - 40th IEEE International Symposium on Multiple-Valued Logic
Pages61-66
Number of pages6
DOIs
StatePublished - 2010
Event40th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2010 - Barcelona, Spain
Duration: 26 May 201028 May 2010

Publication series

NameProceedings of The International Symposium on Multiple-Valued Logic
ISSN (Print)0195-623X

Conference

Conference40th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2010
Country/TerritorySpain
CityBarcelona
Period26/05/1028/05/10

Fingerprint

Dive into the research topics of 'Logics of reasonable information sources'. Together they form a unique fingerprint.

Cite this