Studia Logica 59 (2):217-247 (1997)
Motivated by applications in software engineering, we propose two forms of combination of logics: synchronization on formulae and synchronization on models. We start by reviewing satisfaction systems, consequence systems, one-step derivation systems and theory spaces, as well as their functorial relationships. We define the synchronization on formulae of two consequence systems and provide a categorial characterization of the construction. For illustration we consider the synchronization of linear temporal logic and equational logic. We define the synchronization on models of two satisfaction systems and provide a categorial characterization of the construction. We illustrate the technique in two cases: linear temporal logic versus equational logic; and linear temporal logic versus branching temporal logic. Finally, we lift the synchronization on formulae to the category of logics over consequences systems.
|Keywords||Philosophy Logic Mathematical Logic and Foundations Computational Linguistics|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
Fibring: Completeness Preservation.Alberto Zanardo, Amilcar Sernadas & Cristina Sernadas - 2001 - Journal of Symbolic Logic 66 (1):414-439.
Similar books and articles
The Method of Hypersequents in the Proof Theory of Propositional Non-Classical Logics.Arnon Avron - unknown
Comparing Semantics of Logics for Multi-Agent Systems.Valentin Goranko & Wojciech Jamroga - 2004 - Synthese 139 (2):241 - 280.
Combining Logics.Walter Carnielli & Marcelo E. Coniglio - 2008 - Stanford Encyclopedia of Philosophy.
Principles of Cortical Synchronization.Stephen Grossberg - 1997 - Behavioral and Brain Sciences 20 (4):689-690.
A General Theory of Structured Consequence Relations.Dov M. Gabbay - 1995 - Theoria 10 (2):49-78.
Logical Consecutions in Discrete Linear Temporal Logic.V. V. Rybakov - 2005 - Journal of Symbolic Logic 70 (4):1137 - 1149.
The Semantics and Proof Theory of Linear Logic.Arnon Avron - 1988 - Theoretical Computer Science 57:161-184.
Added to index2009-01-28
Total downloads16 ( #297,695 of 2,168,944 )
Recent downloads (6 months)1 ( #346,364 of 2,168,944 )
How can I increase my downloads?