15、通用多序列R演算：原理与规则详解

通用多序列R演算：原理与规则详解

1. 通用多序列与等价系统

存在4 × 2³个健全且完备的根岑演绎系统，这些系统通过以下等价关系可简化为4 × 4个系统：
- (A_e^{\exists\forall\exists}(\Gamma|\Delta|\Pi) \equiv A_e^{\exists\exists\forall}(\Gamma| \sim\Pi| \sim^2 \Delta))
- (A_e^{\forall\exists\exists}(\Gamma|\Delta|\Pi) \equiv A_e^{\exists\exists\forall}(\sim^2 \Pi|\Delta| \sim\Gamma))
- (A_e^{\forall\exists\forall}(\Gamma|\Delta|\Pi) \equiv A_e^{\exists\forall\forall}(\sim\Delta| \sim^2 \Gamma|\Pi))
- (A_e^{\forall\forall\exists}(\Gamma|\Delta|\Pi) \equiv A_e^{\exists\forall\forall}(\sim^2 \Pi|\Delta| \sim\Gamma))
- (A_{\forall\exists\forall}^e (\Gamma|\Delta|\Pi) \equiv A_{\forall\forall\exists}^e (\Gamma| \sim\Pi| \sim^2 \Delta))
- (A_{\exists\forall\forall}^e (\Gamma|\Delta|\Pi) \equiv A_{\forall\foral