A kind of improved formal deductive system \(\mathcal{L}_0^*\) for the system \(\mathcal{L}^*\)
From MaRDI portal
Publication:2735416
zbMATH Open0985.03015MaRDI QIDQ2735416
Publication date: 30 August 2001
Published in: Pure and Applied Mathematics (Search for Journal in Brave)
Related Items (4)
The formal system λδ ⋮ A kind of simplified formal deductive system \(L_0^*\) for the system \(L^*\) ⋮ An extension of the formal deductive system \({\mathcal L}^*\) ⋮ Title not available (Why is that?)
This page was built for publication: A kind of improved formal deductive system \(\mathcal{L}_0^*\) for the system \(\mathcal{L}^*\)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2735416)
