机读格式显示(MARC)

• 000 01322nam0 2200301 450

• 001 0000702214

• 005 20200109143600.0

• 010 __ |a 978-7-5218-0664-9 |d CNY78.00

• 099 __ |a CAL 012019121869

• 100 __ |a 20190927d2019 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a ak a 000yy

• 106 __ |a r

• 200 1_ |a 非良基集、余代数与模态逻辑研究 |A fei liang ji ji、 yu dai shu yu mo tai luo ji yan jiu |f 史璟著

• 210 __ |a 北京 |c 经济科学出版社 |d 2019

• 215 __ |a 245页 |c 图 |d 24cm

• 300 __ |a 中央高校基本科研业务费专项基金资助项目 本书是2010年国家社会科学基金项目“非良基集、余代数与模态逻辑研究”(批准号10CZX03)成果

• 312 __ |a 英文并列题名取自封面

• 320 __ |a 有书目 (第239-245页)

• 330 __ |a 本书是我国学术界第一部关于集合论、余代数与模态逻辑交叉研究的著作。首先，以非良基集合为语义结构对模态逻辑进行解释，研究模态逻辑在集合论语义下的对应理论、可定义性及表达力等问题，取得了一些新的研究成果，丰富了集合论理论和逻辑理论。其次，把余代数看做非良基集合的抽象数学模型，它作为对关系语义学的推广，着重研究余代数模态逻辑。

• 510 1_ |a Non-well-founded sets, co-algebra and modal logic |z eng

• 606 0_ |a 模态逻辑 |A mo tai luo ji |x 研究

• 690 __ |a B815.1 |v 5

• 701 _0 |a 史璟, |A shi jing |f 1980- |4 著

• 801 _0 |a CN |b NMU |c 20190927

• 905 __ |a SCNU |f B815.1/5016

• 920 __ |a 242430 |z 1