@文章{zbMATH05657220，作者={Lewitzka，Steffen}，Title={{{\（\in_I\）}}：一种没有{Fregean}公理且带有真与假谓词的直觉主义逻辑，FJournal={圣母院形式逻辑杂志}，Journal={圣母院J.形式逻辑}，ISSN={0029-4527}，体积={50}，数字={3}，页码={275--301}，年份={2009}，语言={英语}，DOI={10.1215/00294527-2009-012}，关键词={03B20,03A05,03B60,03B65}，zbMATH={5657220}，Zbl={1190.03016}}