Cut Elimination for the Weak Modal Grzegorczyk Logic via Non-well-Founded Proofs

著录项

• 来源
  《International Workshop on Logic, Language, Information and Computation》|2019年|569-583|共15页
• 会议地点 Utrecht(NL)
• 作者

  Yury Savateev; Daniyar Shamkanov;

  展开▼
• 作者单位

  National Research University Higher School of Economics Moscow Russia;

  National Research University Higher School of Economics Moscow Russia Steklov Mathematical Institute of the Russian Academy of Sciences Moscow Russia;

  展开▼
• 会议组织
• 原文格式 PDF
• 正文语种
• 中图分类
• 关键词

  Non-well-founded proofs; Weak Grzegorczyk logic; Logic Go; Cut-elimination; Cyclic proofs;

  机译：没有充分根据的证明；弱的Grzegorczyk逻辑；逻辑去;消除切割；循环证明;