Repository | Book | Chapter
(2009) Towards mathematical philosophy, Dordrecht, Springer.
Processing information from a set of sources
Arnon Avron , Jonathan Ben-Naim , Beata Konikowska
pp. 165-186
We introduce a general framework for solving the problem of a computer collecting and combining information from various sources. Unlike previous approaches to this problem, in our framework the sources are allowed to provide information about complex formulae too. This is enabled by the use of a new tool—non-deterministic logical matrices. We also consider several alternative plausible assumptions concerning the framework which lead to various logics. We provide strongly sound and complete proof systems for all the basic logics induced in this way.
Publication details
DOI: 10.1007/978-1-4020-9084-4_8
Full citation:
Avron, A. , Ben-Naim, J. , Konikowska, B. (2009)., Processing information from a set of sources, in D. Makinson, J. Malinowski & H. Wansing (eds.), Towards mathematical philosophy, Dordrecht, Springer, pp. 165-186.
This document is unfortunately not available for download at the moment.