@第{zbMATH05681293条，作者={滨野正弘和竹村良}，Title={极化线性逻辑和二阶保守性的相位语义}，FJournal={符号逻辑杂志}，日志={J.Symb.Log.}，ISSN＝{0022-4812}，体积={75}，数字={1}，页码={77--102}，年份={2010}，语言={英语}，DOI={10.2178/jsl/1264433910}，关键词={03B47,03F52}，URL={citeserx.ist.psu.edu/viewdoc/summary？doi=10.1.1.708.6529}，zbMATH={5681293}，Zbl={1186.03051}}