By Topic

Logics of Reasonable Information Sources

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)

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 ESP structures which cannot be obtained from any finite number of valuations defined by reasonable sources.

Published in:

Multiple-Valued Logic (ISMVL), 2010 40th IEEE International Symposium on

Date of Conference:

26-28 May 2010