The following pages link to (Q4807867):
Displaying 5 items.
- A semantically complete extension sequence of the system \(\mathcal L^\ast\) (Q866006) (← links)
- The extensions \(\mathcal L_n^{\ast}\) of the formal system \(\mathcal L^{\ast}\) and their completeness. (Q1425262) (← links)
- A kind of improved formal deductive system \(\mathcal{L}_0^*\) for the system \(\mathcal{L}^*\) (Q2735416) (← links)
- The completeness of the formal deductive system \(\mathcal{L}^*(n)\) (Q2764677) (← links)
- (Q5490807) (← links)
