卡塔兹纳州Słomczynska (\mathsf{IPC})的\((\leftrightarrow,\neg)\)片段及其属性的代数语义。 (英语) 兹比尔1469.03031 数学。日志。问:。 63,第3-4号,202-210(2017).MSC公司:03B20型 03G25号 08B20号 08C15号 PDF格式BibTeX公司 XML格式引用 \textit{K.Słomczyáska},数学。日志。问63,编号3--4,202-210(2017;Zbl 1469.03031) 全文: 内政部
伊恩·普拉特·哈特曼 具有计数和等价性的双变量片段。 (英语) Zbl 1357.03040号 数学。日志。问:。 61,第6期,474-515(2015).MSC公司:03B20型 03B25号 2015年3月15日 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Pratt-Hartmann},数学。日志。问61,第6号,474--515(2015;Zbl 1357.03040) 全文: 内政部
卡塔兹纳州Słomczynska IPC的\((\leftrightarrow,\neg\neg)\)片段的代数语义。 (英语) Zbl 1245.03016号 数学。日志。问:。 58,编号1-2,29-37(2012). 审核人:Osamu Sonobe(福洛尼卡) MSC公司:03B20型 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{K.Słomczyáska},数学。日志。问58,编号1--2,29-37(2012;Zbl 1245.03016) 全文: 内政部