ML systems: A proof theory for contexts [Book Review]
David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Journal of Logic, Language and Information 11 (4):471-518 (2002)
In the last decade the concept of context has been extensivelyexploited in many research areas, e.g., distributed artificialintelligence, multi agent systems, distributed databases, informationintegration, cognitive science, and epistemology. Three alternative approaches to the formalization of the notion ofcontext have been proposed: Giunchiglia and Serafini's Multi LanguageSystems (ML systems), McCarthy's modal logics of contexts, andGabbay's Labelled Deductive Systems.Previous papers have argued in favor of ML systems with respect to theother approaches. Our aim in this paper is to support these arguments froma theoretical perspective. We provide a very general definition of ML systems, which covers allthe ML systems used in the literature, and we develop a proof theoryfor an important subclass of them: the MR systems. We prove variousimportant results; among other things, we prove a normal form theorem,the sub-formula property, and the decidability of an importantinstance of the class of the MR systems. The paper concludes with a detailed comparison among the alternativeapproaches
|Keywords||contextual reasoning distributed information-oriented theories modal logics multi context systems normal form proof theory|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Dov M. Gabbay & Nicola Olivetti (1998). Algorithmic Proof Methods and Cut Elimination for Implicational Logics Part I: Modal Implication. Studia Logica 61 (2):237-280.
Arnon Avron & Beata Konikowska (2001). Decomposition Proof Systems for Gödel-Dummett Logics. Studia Logica 69 (2):197-219.
Luca Viganò (2000). Labelled Non-Classical Logics. Kluwer Academic Publishers.
Ronald N. Giere (2004). The Problem of Agency in Scienti?C Distributed Cognitive Systems. Journal of Cognition and Culture 4 (3-4):759-774.
Sara Negri (2011). Proof Analysis: A Contribution to Hilbert's Last Problem. Cambridge University Press.
Markus Reiher (2003). A Systems Theory for Chemistry. Foundations of Chemistry 5 (1):23-41.
Maria Luisa Bonet & Samuel R. Buss (1993). The Deduction Rule and Linear and Near-Linear Proof Simulations. Journal of Symbolic Logic 58 (2):688-709.
Wendy MacCaull & Ewa Orłlowska (2002). Correspondence Results for Relational Proof Systems with Application to the Lambek Calculus. Studia Logica 71 (3):389-414.
Ronald N. Giere (2006). The Role of Agency in Distributed Cognitive Systems. Philosophy of Science 73 (5):710-719.
Added to index2009-01-28
Total downloads3 ( #308,184 of 1,102,060 )
Recent downloads (6 months)2 ( #192,049 of 1,102,060 )
How can I increase my downloads?