Adjunct Elimination in Context Logic for Trees

Cristiano Calcagno,Thomas Dinsdale-Young,Philippa Gardner

Information and Computation/information and Control（2023）

引用 9|浏览24

暂无评分

摘要

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.

查看译文

关键词

separation logic,multi-holed context logic,context logic,adjunct elimination,elimination result,ehrenfeucht–fraïssé games,original single-holed formulation,ambient logic,previous result,adjunct-elimination result

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要