Abstract
We consider substitutions in order sensitive situations, having in the back of our minds the case of dynamic predicate logic (DPL) with a stack semantics. We start from the semantic intuition that substitutions are move instructions on stacks: the syntactic operation [y/x] is matched by the instruction to move the value of the y-stack to the x-stack. We can describe these actions in the positive fragment of DPLE. Hence this fragment counts as a logic for DPL-substitutions. We give a calculus for the fragment and prove soundness and completeness.
Similar content being viewed by others
References
N. Asher, Reference to abstract objects in discourse, Kluwer, Dordrecht, 1996.
J. Girard, 'Linear logic', Theoretical Computer Science 50:1-102, 1987.
J. Groenendijk and M. Stokhof, 'Dynamic predicate logic', Linguistics and Philosophy 14:39-100, 1991.
M. Hollenberg and C. Vermeulen, 'Counting variables in a dynamic setting', Journal of Logic and Computation 6: 725-744, 1996.
H. Kamp, 'A theory of truth and semantic representation', in J. Groenendijk et al., editors, Formal Methods in the Study of Language, Amsterdam, 1981, Mathematisch Centrum.
F. Kamareddine and R.P. Nederpelt, 'On stepwise explicit substitution', International Journal of Foundations of Computer science, pages 197-240, 1993.
N. Kurtonina, Frames and Labels, a modal analysis of categorial inference, PhD thesis, Institute for Logic, Language and Computation (ILLC), University of Amsterdam, 1995.
M. J. Moortgat, Categorial Investigations. Logical and Linguistic Aspects of the Lambek Calculus, Foris, Dordrecht, 1988.
C. Vermeulen, 'Sequence semantics for dynamic predicate logic', Journal of Logic, Language and Information 2: 217-254, 1993.
C. Vermeulen, 'Variables as stacks, a case study in dynamic model theory',Journal of Logic, Langauge and Information 9: 143-167, 2000.
A. Visser, 'Contexts in dynamic predicate logic', Journal of Logic, Language and Information 1996. Special issue on “Contexts”.
A. Visser and C. Vermeulen, 'Dynamic bracketing and discourse representation', Notre Dame Journal of Formal Logic 37: 321-365, 1996.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Vermeulen, C. A Calculus of Substitutions for DPL. Studia Logica 68, 357–387 (2001). https://doi.org/10.1023/A:1012439021359
Issue Date:
DOI: https://doi.org/10.1023/A:1012439021359