杨恩斯克 基本子结构逻辑的代数关系语义。 (英语) Zbl 1508.03056号 日志。分析。,努夫。Sér。 63,编号252,415-441(2020).MSC公司:03B47号 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{E.Yang},日志。分析。,努夫。Sér。63、编号252、415--441(2020;Zbl 1508.03056) 全文: DOI程序
杨恩斯克 三值逻辑的两种(二进制)Kripke式语义。 (英语) Zbl 1372.03047号 日志。分析。,努夫。Sér。 58、第231、377-394号(2015).MSC公司:03B50号 PDF格式BibTeX公司 XML格式引用 \textit{E.Yang},日志。分析。,努夫。Sér。58、第231、377--394号(2015;Zbl 1372.03047) 全文: DOI程序
Akama、Seiki;亚伯、杰尔·米诺罗;中松,川美 带有强烈否定的建构性话语逻辑。 (英语) Zbl 1260.03055号 日志。分析。,努夫。Sér。 54,第215号,395-408(2011).MSC公司:03B53号 PDF格式BibTeX公司 XML格式引用 \textit{S.Akama}等人,日志。分析。,努夫。Sér。54、第215、395--408号(2011;Zbl 1260.03055)
杨恩斯克 E、R、T的一些邻居的(基于星的)四值Kripke式语义。 (英语) 兹比尔1191.03016 日志。分析。,努夫。Sér。 52,编号207,255-280(2009). 审核人:马丁·邦德(伍伦贡) MSC公司:03B47号 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{E.Yang},日志。分析。,努夫。Sér。52、编号207、255--280(2009;Zbl 1191.03016)
Akama、Seiki;Yasunori长田 基于构造逻辑的Infon逻辑。 (英语) Zbl 1107.03025号 日志。分析。,努夫。Sér。 49,编号194,119-136(2006).MSC公司:03B60号 03B65号 PDF格式BibTeX公司 XML格式引用 \textit{S.Akama}和\textit{Y.Nagata},日志。分析。,努夫。Sér。49、第194、119--136号(2006;Zbl 1107.03025)
乔万娜·科尔西 BF、CBF和Lewis语义。 (英语) 邮编1077.03008 日志。分析。,努夫。Sér。 46,编号181,103-122(2003). 审核人:瓦伦丁·F·戈兰科(约翰内斯堡) MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{G.Corsi},日志。分析。,努夫。Sér。46,第181、103--122号(2003;Zbl 1077.03008)
Akama、Seiki;理查德·西尔文 事实、语义和直觉主义。 (英语) Zbl 0973.03011号 日志。分析。,努夫。Sér。 37,编号147-148,227-238(1994).MSC公司:03B20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Akama}和\textit{R.Sylvan},日志。分析。,努夫。Sér。37,编号147--148,227--238(1994;Zbl 0973.03011)
范德霍克,W。 认知逻辑中的分级形式。 (英语) Zbl 0814.03015号 逻辑分析。,努夫。Sér。 34,编号133-134,251-270(1991). 审核人:V.谢赫特曼(莫斯科) MSC公司:03B45号 68T27型 68立方英尺 03B48号 PDF格式BibTeX公司 XML格式引用 \textit{W.van der Hoek},日志。分析。,努夫。Sér。34,编号133--134,251--270(1991;Zbl 0814.03015)
约翰·范·本特姆 关于认知逻辑的思考。 (英语) Zbl 0814.03002号 逻辑分析。,努夫。Sér。 34,编号133-134,5-14(1991). 审核人:V.谢赫特曼(莫斯科) MSC公司:03A05号 03B45号 68T27型 03-02 PDF格式BibTeX公司 XML格式引用 \textit{J.van Benthem},日志。分析。,努夫。Sér。34,编号133-134,5-14(1991年;Zbl 0814.03002)
JoséM·门德斯。 关于最小直觉主义语义的注记。 (英语) Zbl 0739.03007号 逻辑分析。,努夫。Sér。 31,编号123-124,371-377(1988).MSC公司:03B20型 03C90号 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Mendez},日志。分析。,努夫。Sér。31,编号123-124,371--377(1988;Zbl 0739.03007)
Giangiacomo Gerla 一阶逻辑的转换语义。 (英语) Zbl 0637.03015号 逻辑分析。,努夫。Sér。 30, 69-79 (1987). 审核人:G.杰拉 MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{G.Gerla},日志。分析。,努夫。Sér。30、69——79(1987年;Zbl 0637.03015)
卢卡斯,Th。;拉文德霍姆,R。 确定性逻辑的复杂性是双峰的。(完成某些双模逻辑)。 (法语) Zbl 0639.03015号 逻辑分析。,努夫。Sér。 29, 391-407 (1986). 审核人:I.古尔瓦克 MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{Th.Lucas}和\textit{R.Lavendhomme},日志。分析。,努夫。Sér。29391--407(1986年;Zbl 0639.03015)
盖罗德·斯塔尔 我的巴坎公式。 (法语) Zbl 0557.03010号 逻辑分析。,努夫。Sér。 27, 343-348 (1984). 审核人:J.波特 MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{G.Stahl},日志。分析。,努夫。Sér。27343--348(1984年;Zbl 0557.03010)
路易斯·法利尼亚斯·德尔·塞罗;安德烈斯·拉吉奥(Andrés R.Raggio)。 直觉模态逻辑的一些结果。 (英语) Zbl 0544.03001号 逻辑分析。,努夫。Sér。 26, 219-224 (1983). 审核人:G.福布斯 MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{L.Fariñas del Cerro}和\textit{A.R.Raggio},Log。分析。,努夫。Sér。26、219--224(1983年;Zbl 0544.03001)
乔治卡拉科斯,G.N。 最小直觉主义的语义。 (英语) Zbl 0545.03035号 逻辑分析。,努夫。Sér。 25, 383-397 (1982). 审核人:M.比森 MSC公司:03楼55 03C35号 PDF格式BibTeX公司 XML格式引用 \textit{G.N.Georgacarakos},日志。分析。,努夫。Sér。25383--397(1982;Zbl 0545.03035)