Studia Logica 68 (3):357-387 (2001)
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.
|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
No citations found.
Similar books and articles
Dynamic Relation Logic is the Logic of DPL-Relations.Albert Visser - 1997 - Journal of Logic, Language and Information 6 (4):441-452.
Three Contributions to the Two-Valued Propositional Calculus.Stanisław Jaśkowski - 1975 - Studia Logica 34 (1):121 - 132.
The Donkey and the Monoid. Dynamic Semantics with Control Elements.Albert Visser - 2002 - Journal of Logic, Language and Information 11 (1):107-131.
Contexts in Dynamic Predicate Logic.Albert Visser - 1998 - Journal of Logic, Language and Information 7 (1):21-52.
Added to index2009-01-28
Total downloads18 ( #269,295 of 2,164,578 )
Recent downloads (6 months)6 ( #50,872 of 2,164,578 )
How can I increase my downloads?