Explicit Fixed Points in Interpretability Logic
Explicit Fixed Points in Interpretability Logic
复制标题
可解释性逻辑中的显式不动点
DOI：
10.1007/bf00370386
复制
发表时间：
1989
期刊：
影响因子：
0.7
通讯作者：
A. Visser
中科院分区：
文献类型：
--
作者：
D. D. Jongh;A. Visser
考虑了可解释逻辑不动点的唯一性和显式可定义性问题。事实证明，唯一性是斯莫林斯基定理的直接推论。
The problem of Uniqueness and Explicit Definability of Fixed Points for Interpretability Logic is considered. It turns out that Uniqueness is an immediate corollary of a theorem of Smoryński.