The following pages link to (Q4805940):
Displaying 4 items.
- The completeness and applications of the formal system \(\mathcal L^\ast\) (Q865970) (← links)
- \(R _{0}\) implication: Characteristics and applications (Q1867637) (← 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)
