循环ALCN—Tbox具有模型的条件
- 格式:pdf
- 大小:340.79 KB
- 文档页数:8
CAO — h n ’ YU a 。, W ANG u FaS e g 。 Qu n 。 J
J ANG Yu — h n I nC e g
( n t u e f L g ca d Ap l d L g c I s tt o i n p i o i ,Bii C l g , ii , u z o 5 1 0 ) i o e j e ol e B j e G ih u 5 0 e 7 2 ( p rme t f Mah mais Qin a r lU ie s y f rNa in l is u u , u z o 5 8 0 ) De a t n t e t . a n nNo ma n v ri o t a i e ,D y n G ih u 5 0 0 o c t o t ”( o l e f Mah m tc S in e Gu n x r l iest ,G ii , u n x 5 1 0 ) C l g te a is ce c . a g i e o No ma v riy u l G a g i 4 0 4 Un n 4( olg f C mp trS in e n n oma in E g n e ig,G a g i r lU i est C l e o u e c c a d I f r t n ie r e o e o n u n x ma n v ri No y,C l , u n x 5 1 0 ) mi n G a g i 4 0 4 i
4( 西 师 范 大 学计 算 机 科 学 与 信息 工 程 学 院 广
广 西 桂林
5 10 ) 4 0 4
摘
要
分 析 了带 循 环定 义 的描 述 逻 辑 系 统 A C 的研 究 现 状 和 存 在 的 问题 , 究 了循 环 AL N T o 具 有 模 型 L N 研 C — bx
的条 件 , 出 了 B a e 文 中命 题 29 L tTb r nlg c a ec yl i G o ti nee u e f 指 adr . ( e e t mioo ys ht t ahccen rcna sa vnn mbr ae u h n o n gt eac.T e n tn) eai rs hn T imo oo e的错 误 , 对 该 命 题 进 行 了修 改 ,给 出 了 循 环 A C ~ b x具 有 不 动 点 模 型 v s 并 L NT o ( 小不 动 点 模 型 和 最 大 不 动 点模 型) 条件 . 最 的
维普资讯
第3卷 1
第 1 期
计
算
机
学
报
Vo .3 No 1 l . PUTERS CHI NES OURNAL OF EJ
Jn 0 8 a .2 0
循 环 A C — b x具 有模 型 的条 件 L NTo
Ab t a t Th u r ntr s a c r gr s e n h xitng pr blm sofd s rp i n l gi y t m sr c e c r e e e r h p o e s s a d t e e s i o e e c i to o cs s e
ALC wih t r i o o ia y l s a e a a y e n t i p p r N t e m n l g c l ce r n l z d i h s a e .Th o d to fc ci A L c e c n i n o y l CN— o i c Tb x
曹发生” 余 泉。 王 驹 蒋运承 。 。
1( 节 学 院逻 辑 与 应 用 逻 辑研 究 所 贵 州 毕 节 5 10 ) 毕 5 0 7
( 南 民族 师 范 学 院数 学 系 贵 州 都 匀 5 80 ) 黔 50 0
”( 西 师范 大 学 数 学科 学学 院 广 广西 桂林 5 10 ) 40 4
关 键 词 循 环 AL N T o ; a y o; 小 不 动点 模 型 ; C — b x nmesmb l最 最大 不 动 点 模 型 ; o 调 Tbx单
中 图法 分 类 号 T 31 P 0
Co d to fCy lc ALCN— o it o e n ii n o c i Tb x Ex s s M d l
e it de s s ud e . The mit k r o ii n 2 n t pe bls d by Ba d n 2 0 x s s mo li t i d s a e ofp op s to .9 i he pa rpu ihe a r i 0 3 ( t T e mi ol y s h t a a h c ce i c nt i s a v n nu Le be a t r n og uc h t e c y l n GT o a n n e e mbe f ne tv r s r o ga i e a c . The i n T smon t ne spo nt d o ,as o emod fc to o o ii n 2 9 i ve o o )i i e ut lo s m iia i n ofpr p s to . sgi n.The c n o —
d t n o y l i o f ci ALCN— o xssfx o n d l (f— d l n f — o e) i gv n i c c Tb x e it ip itmo es 1 mo e a d g pm d 1 s ie . p