scientific article; zbMATH DE number 5060344
From MaRDI portal
Publication:5490807
zbMATH Open1105.03311MaRDI QIDQ5490807FDOQ5490807
Authors: Daowu Pei 
Publication date: 4 October 2006
Title of this publication is not available (Why is that?)
Recommendations
- The completeness of the formal deductive system \(\mathcal{L}^*(n)\)
- The completeness and applications of the formal system \(\mathcal L^\ast\)
- The extensions \(\mathcal L_n^{\ast}\) of the formal system \(\mathcal L^{\ast}\) and their completeness.
- scientific article; zbMATH DE number 1916704
- scientific article; zbMATH DE number 844484
- Un résultat de complétude pour les types ∀+ du système F
- scientific article; zbMATH DE number 695430
- An extension of the formal deductive system \({\mathcal L}^*\)
- Typed Lambda Calculi and Applications
- Predicate formal system \(\forall\mathcal {UL}_{h\in (0,1]}^{\triangle}\) and its completeness
Cited In (12)
- The strength of the \(\Delta\)-system lemma
- A note on the strong and weak generative powers of formal systems
- Predicate formal system \(\forall\mathcal {UL}_{h\in (0,1]}^{\triangle}\) and its completeness
- Title not available (Why is that?)
- Strong completeness of medium logic system
- The completeness and applications of the formal system \(\mathcal L^\ast\)
- A kind of simplified formal deductive system \(L_0^*\) for the system \(L^*\)
- A Strong Completeness Theorem for the Gentzen systems associated with finite algebras
- The extensions \(\mathcal L_n^{\ast}\) of the formal system \(\mathcal L^{\ast}\) and their completeness.
- On strong standard completeness in some \(\mathrm{MTL}_\Delta\) expansions
- The properties of a mix operator on \(R_0\)-algebra and the completeness of the system \({\mathcal L}^*\)
- Title not available (Why is that?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5490807)
