A Representation Theorem for Stratified Complete Lattices

被引：0
|
作者：
Esik, Zoltan [1 ]
机构：
[1] Univ Szeged, Dept Comp Sci, Szeged, Hungary
来源：
LOGIC, LANGUAGE, AND COMPUTATION (TBILLC 2015) | 2017年 / 10148卷
关键词：
SEMANTICS;
D O I：
10.1007/978-3-662-54332-0-15
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Stratified complete lattices are complete lattices equipped with a sequence of preorderings associated with the ordinals less than a given nonzero ordinal, typically a limit ordinal. They have been used to give semantics to recursive definitions involving nonmonotonic operations. We provide representation theorems for stratified complete lattices by inverse limits of complete lattices.
引用
收藏
页码：263 / 289
页数：27
相关论文
共 50 条
12345