Pages that link to "Item:Q2735416"
From MaRDI portal
The following pages link to A kind of improved formal deductive system \(\mathcal{L}_0^*\) for the system \(\mathcal{L}^*\) (Q2735416):
Displaying 6 items.
- Fuzzy deduction theorem in the system \(\mathcal L^*\) (Q2748253) (← links)
- A kind of simplified formal deductive system \(L_0^*\) for the system \(L^*\) (Q2748639) (← links)
- An extension of the formal deductive system \({\mathcal L}^*\) (Q2752635) (← links)
- The completeness of the formal deductive system \(\mathcal{L}^*(n)\) (Q2764677) (← links)
- The formal system λδ (Q2946591) (← links)
- (Q5698332) (← links)
