@第{zbMATH06228674条，作者={Baru{\v{s}}s，Imants和Woodrow，Robert}，标题={{克里普克}-{Joyal}语义：强制覆盖任意类别总是可以通过强制覆盖完整的{Heyting}代数}来替代，FJournal={Logica Universalis}，日志={Log.Univers.}，ISSN={1661-8297}，体积＝｛7｝，数字＝｛3｝，页码={323--334}，年份={2013}，语言={英语}，DOI＝{10.1007/s1787-013-0084-y}，关键词={03C25}，zbMATH={6228674}，Zbl={1301.03033}}