拉兹万·迪亚科内斯库 介绍了一种基于机构的形式化规范和验证语言\(H)。 (英语) Zbl 1484.68106号 日志。通用。 14,第2期,259-277(2020).MSC公司:68问题65 03B45号 03C98号 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{R.Diaconescu},日志。Univers大学。14,第2号,259--277(2020;Zbl 1484.68106) 全文: DOI程序 arXiv公司
阿列克谢·钦佐夫;尼基琴科、米科拉 作为制度的成分命名逻辑。 (英语) Zbl 1456.03054号 日志。通用。 12,编号1-2,221-238(2018).MSC公司:03B70号 03B10号机组 03C95号 03G30型 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{A.Chentsov}和\textit{M.Nikitchenko},Log。Univers大学。12,编号1--2,221--238(2018;Zbl 1456.03054) 全文: DOI程序
卡洛斯·卡莱罗;卢卡·维甘诺 逻辑中的构成意义。 (英语) Zbl 1420.03006号 日志。通用。 11,第3期,283-295(2017).MSC公司:03-06 00B15号机组 03B22号 03B45号 03B47号 03B50号 03B53号 05年3月 03G27号 PDF格式BibTeX公司 XML格式引用 \textit{C.Caleiro}和\textit{L.Vigan“},Log。Univers大学。11,第3号,283--295(2017;Zbl 1420.03006) 全文: DOI程序 链接
戈因纳,丹尼尔 从制度上强制向下Löwenheim-Skolem并省略类型定理。 (英语) Zbl 1338.03056号 日志。通用。 8,第3-4号,469-498(2014).MSC公司:03C25号 03C95号 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{D.Gin},日志。Univers大学。8、编号3--4、469--498(2014;Zbl 1338.03056) 全文: DOI程序
佩德罗·巴尔塔扎尔 逻辑概率:完备性和可判定性。 (英语) Zbl 1323.03033号 日志。通用。 7,第4期,403-440(2013).MSC公司:03B62号 03B48号 PDF格式BibTeX公司 XML格式引用 \textit{P.Baltazar},日志。Univers大学。7,第4号,403--440(2013;Zbl 1323.03033) 全文: DOI程序
奥利弗·库茨;蒂尔·莫萨科夫斯基;多米尼克·吕克 卡纳普、戈根和超本体论:本体设计中的逻辑多元主义和异质结构。 (英语) Zbl 1255.68153号 日志。通用。 4,第2期,255-333(2010).MSC公司:68立方英尺 68问题65 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{O.Kutz}等人,日志。Univers大学。4,第2号,255--333(2010;Zbl 1255.68153) 全文: DOI程序
蒂尔·莫萨科夫斯基;拉兹万·迪亚科内斯库;安德烈·塔莱基 什么是逻辑翻译? (英语) Zbl 1255.03023号 日志。通用。 3,第1期,95-124(2009).MSC公司:03B22号 03B70号 03G30型 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{T.Mossakowski}等人,Log。Univers大学。3,第1号,95-124(2009;Zbl 1255.03023) 全文: DOI程序