@InCollection{zbMATH06787709，作者={Pun{\v{c}}och{\'a}{\v}}，v{\'{i}}t}，Title={直觉主义逻辑的非标准语义框架}，BookTitle={The Logica年鉴2015。2015年6月15日至19日，捷克共和国赫尼茨修道院，第29届年度国际研讨会记录，国际标准图书编号={978-1-84890-213-8}，页码={179--192}，年份={2016年}，出版商={伦敦：学院出版物}，语言={英语}，关键词={03B20}，zbMATH={6787709}，Zbl={1410.03014}}