Abstract
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Anderson, A.R., Belnap, N.D., ‘First degree entailments’, Mathematische Annalen, 149: 302–319, 1963.
Anderson, A.R., Belnap, N.D., Entailment, vol. 1, Princeton University Press, Princeton NJ, 1975.
Avron, A., ‘Natural 3-valued logics: Characterization and proof theory’, The Journal of Symbolic Logic, 56: 276–294, 1991.
Avron, A., ‘Logical Non-determinism as a tool for logical modularity: an introduction’, in Artemov, S., Barringer, H., d’Avila Garcez, A.S., Lamb, L.C., Woods, J. (eds.), We Will Show Them: Essays in Honor of Dov Gabbay, vol. 1, College Publications, Ithaca, NY, 2005, pp. 105–124.
Avron, A., Lev, I., ‘Canonical propositional Gentzen-type systems’, in Goré, R., Leitsch, A., Nipkow, T., Proceedings of the 1st International Joint Conference on Automated Reasoning (IJCAR 2001), LNAI, vol. 2083, Springer Verlag, 2001, pp. 529–544.
Avron, A., Lev, I., ‘Non-deterministic multiple-valued structures’, Journal of Logic and Computation, 15: 241–261, 2005.
Avron, A., Ben-Naim, J., Konikowska, B., ‘Cut-free ordinary sequent calculi for logics having finite-valued semantics’, Logica Universalis, 1: 41–69, 2006.
Belnap, N.D., ‘How computers should think’, in Rylem, G. (ed.), Contemporary Aspects of Philosophy, Oriel Press, Stocksfield, England, 1977, pp. 30–56.
Belnap, N.D., ‘A useful four-valued logic’, in Epstein, G., Dunn, J.M., Modern Uses of Multiple-Valued Logic, Reidel, Dordrecht, 1977, pp. 7–37.
Carnielli, W.A., Lima-Marques, M., ‘Society semantics for multiple-valued logics’, in Carnielli, Walter A., D’Ottaviano, Itala M.L. (eds.), Proceedings of the XII EBL—Advances in Contemporary Logic and Computer Science, American Mathematical Society, Series Contemporary Mathematics, vol. 235, 1999, pp. 33–52.
Carnielli, W.A., Marcos, J., de Amo, S., ‘Formal inconsistency and evolutionary databases’, Logic and Logical Philosophy, 8: 115–152, 2000.
Dunn, J.M., ‘Intuitive semantics for first degree entailments and “coupled trees''', Philosophical Studies, 29: 149–168, 1976.
Dunn, J.M., ‘Relevant logic and entailment’, Handbook of Philosophical Logic, vol. III, Gabbay, D., Guenthner, F. (eds.), 1984.
Epstein, R.L., The semantic foundation of logic, 2nd ed., vol. I: Propositional Logics, ch. IX, Kluwer Academic Publisher, 1995.
Fitting, M., ‘Kleene’s three-valued logics and their children’, Fundamenta Informaticae, 20: 113–131, 1994.
Ginsberg, M.L., ‘Multivalued logics: A uniform approach to reasoning in AI’, Computer Intelligence, 4: 256–316, 1988.
D’Ottaviano, I.L.M., da Costa, N.C.A., ‘Sur un problème de Jaśkowski’, Comptes Rendus de l’Académie des Sciences de Paris, 270: 1349–1353, 1970.
D’Ottaviano, I.L.M., ‘The completeness and compactness of a three-valued first-order logic’, Revista Colombiana de Matematicas, XIX: 31–42, 1985.
Shramko, Y., Wansing, H., ‘Some useful 16-valued logics. How a computer network should think’, Journal of Philosophical Logic, 34: 121–153, 2005.
Shramko, Y., Wansing, H., ‘Hyper-contradictions, generalized truth values, and logics of truth and falsehood’, Journal of Logic, Language and Information, 15: 403–424, 2006.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer Science+Business Media B.V.
About this chapter
Cite this chapter
Avron, A., Ben-Naim, J., Konikowska, B. (2009). Processing Information from a Set of Sources. In: Makinson, D., Malinowski, J., Wansing, H. (eds) Towards Mathematical Philosophy. Trends in Logic, vol 28. Springer, Dordrecht. https://doi.org/10.1007/978-1-4020-9084-4_8
Download citation
DOI: https://doi.org/10.1007/978-1-4020-9084-4_8
Publisher Name: Springer, Dordrecht
Print ISBN: 978-1-4020-9083-7
Online ISBN: 978-1-4020-9084-4
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)