努尔,K。;A.努尔。 命题混合逻辑:其语法和语义。 (英语) Zbl 1181.03029号 J.应用。非类别。日志。 13,第3-4、377-390号(2003年).MSC公司:03B62号 03B05号 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{K.Nour}和\textit{A.Nour},J.Appl。非类别。日志。13,编号3--4,377--390(2003;Zbl 1181.03029) 全文: 内政部 arXiv公司 哈尔
阿比尔·努尔 基于有限有序集的逻辑系统的Kripke类型语义。(Kripke d‘un systemème logique basésur un assembly ordinnéfini类型的Sémanique) (法语) Zbl 0960.03016号 数学。日志。问:。 46,编号3,417-432(2000).MSC公司:03B45号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Nour},数学。日志。企46、3号、417--432(2000;Zbl 0960.03016) 全文: 内政部