The following pages link to (Q5490807):
Displaying 8 items.
- The strength of the \(\Delta\)-system lemma (Q689199) (← links)
- The completeness and applications of the formal system \(\mathcal L^\ast\) (Q865970) (← links)
- The extensions \(\mathcal L_n^{\ast}\) of the formal system \(\mathcal L^{\ast}\) and their completeness. (Q1425262) (← links)
- On strong standard completeness in some \(\mathrm{MTL}_\Delta\) expansions (Q1699738) (← links)
- A note on the strong and weak generative powers of formal systems (Q1870566) (← links)
- A kind of simplified formal deductive system \(L_0^*\) for the system \(L^*\) (Q2748639) (← links)
- (Q4807867) (← links)
- (Q4865379) (← links)
