布尔值模型相关论文
中国逻辑学会现代逻辑专业委员会于１９９８年１２月２８日至３０日在广东省东莞市举行了现代逻辑与逻辑哲学学术研讨会。来自大陆和香港的学者共４９人与会......
<正> 本文讨论菱形原理(◇)和箱原理(□)与Suslin_k树(ST_k)之间的进一步关系。得到 GCH+□k→存在不同构完全正规ST_k+。这里,cf(......
The reference [4] proved the consistency of S1 and S2 among Lewis' five strict implication systems in the modal logi......
本文首先定义了模态命题公式□a的布尔值,然后证明:模态命题逻辑的正规系统K、D和T以及严格蕴涵系统S1和S2的所有公理的布尔值为1.......
本文是为Lewis的五个严格蕴涵系统建立布尔值模型.为此,本文首先定义了模态公式口α的布尔值‖口α‖;其次证明在该定义下,模态逻......
本文是为冯·赖特的一元和二元道义逻辑系统DT和DSR以及他1964年对DSR改造后的系统建立布尔值模型．因此，模态词O和P分别表示“应......
文献[2]没有解决严格蕴涵系统S3的协调性,本文证明严格蕴涵系统S3的协调性.为此,首先证明严格蕴涵系统P3的协调性(用布尔值模型方......
本文以ＺＦｃ聚合公理系统为基础，构造了ＺＦｃ的布尔值模型，证明了关键定理９、定理１５，使得ＺＦ集合公理系统的布尔值模型ＶＯｎ＾（Ｂ）是聚合公理系统的布尔值模型〔ＶＯＮ＾（Ｂ）〕......
文献[7]证明了严格蕴涵系统S4的协调性,本文证明在严格蕴涵系统S4的基础上增加公理M所得到的系统S4.1的协调性.......
给出模型论中弱力迫概念的一个语法特征。然后在此基础上引入弱力迫的一种布尔值模型表示,并给出这种表示对f-伴随理论的一些应用......
本文证明模态系统P1的协调性.为此,首先证明严格蕴涵系统S1的协调性(用布尔值模型方法);其次证明模态系统P1和严格蕴涵系统S1等价.......
本文在V~(B)的基础上,构造了模型Δ~(B),定义了集合论的有穷公理系统GB的每个公式的布尔值(GB是比ZFC丰富的理论)。证明了Δ~(B)是......
文献＾［１］中给出了聚合公理系统ＣＯＧ的布尔值模型Ａ＾Ｂ本文在＾［１］的基础上讨论了Ａ＾Ｂ中的混合与混合原理。......
在聚合公理系统ＣＯＧ的布尔值模型∧＾Ｂ中，证明了二型序数和二型基数的一些性质。...
模态公式4、E和B是直观上难以确认是否成立的一类模态公式.文献[6]证明了:在模型(VB,R,ⅡⅡ)下,当R是VB上的任意一个二元关系时,模......
本文为道义模态逻辑D-系统建立布尔值模型. 首先定义道义模态公式○α的布尔值‖○α‖;其次证明在该定义下,道义模态逻辑系统D1、......
证明模态系统P5的协调性.即:证明了模态系统P5的所有公理的布尔值为1.亦即:VB(B是一个完全的布尔代数)是模态命题系统P5的布尔值模......
