我们可以使用链接到您的Project Euclid帐户的电子邮件地址帮助您重置密码。
在本注释中,我们显示了一阶逻辑IK(IK)ω对于一阶语言的连续值Łukasiewicz模型,通过将量词视为无限强析取/合取,而不是无限弱析取/合取,得到的模型是合理的。此外,我们还表明,这些模型不能用于为真理理论提供新的一致性证明IKT公司ω通过膨胀获得IK(IK)ω因为模型与透明真理不一致。最后,我们证明了这种不一致性是否可以在后续演算中重现IKT公司ω取决于如何处理空洞的量化。
安德烈亚斯·费尔斯塔德(Andreas Fjellstad)。 简·弗雷德里克·奥尔森。 "IKT公司ω和Łukasiewicz-Models。" 圣母院J.形式逻辑 62 (2) 247 - 256, 2021年5月。 https://doi.org/10.1215/00294527-2021-0012