Repository | Buch | Kapitel

190804

Processing information from a set of sources

Arnon Avron Jonathan Ben-Naim Beata Konikowska

pp. 165-186

Abstrakt

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

Published in:

Makinson David, Malinowski Jacek, Wansing Heinrich (2009) Towards mathematical philosophy: papers from the Studia logica conference Trends in logic IV. Dordrecht, Springer.

Seiten: 165-186

DOI: 10.1007/978-1-4020-9084-4_8

Referenz:

Avron Arnon, Ben-Naim Jonathan, Konikowska Beata (2009) „Processing information from a set of sources“, In: D. Makinson, J. Malinowski & H. Wansing (eds.), Towards mathematical philosophy, Dordrecht, Springer, 165–186.