论文标题
部分可观测时空混沌系统的无模型预测
Normalisation for Some Infectious Logics and Their Relatives
论文作者
论文摘要
我们考虑了某些感染性逻辑（SFDE，DSFDE，K3W和PWK）以及几种非感染的修改，包括两种新逻辑，重新制定了以前构建的自然推论系统（或以新的逻辑为例，从scratch for Scratch for Scratch for Scratch for New logics）可以使用这些logics来证明标准化理论的证明。我们提供了这样的证据，并为所讨论的逻辑建立了否定属性属性。
We consider certain infectious logics (Sfde, dSfde, K3w, and PWK) and several their non-infectious modifications, including two new logics, reformulate previously constructed natural deduction systems for them (or present such systems from scratch for the case of new logics) in way such that the proof of normalisation theorem becomes possible for these logics. We present such a proof and establish the negation subformula property for the logics in question.
