Adjunct elimination in Context Logic for trees

作者：Calcagno Cristiano^*; Dinsdale Young Thomas; Gardner Philippa

来源：Information and Computation, 2010, 208(5): 474-499.

DOI：10.1016/j.ic.2009.02.013

• Context Logic
• Adjunct elimination
• Ehrenfeucht-Fraisse games

We study adjunct-elimination results for Context Logic applied to trees, following previous results by Lozes for Separation Logic and Ambient Logic. In fact, it is not possible to prove such elimination results for the original single-holed formulation of Context Logic. Instead, we prove our results for multi-holed Context Logic.

• 出版日期2010-5