?贝尔纳普
例如,安德森(Anderson)和贝尔纳普(Belnap)的相干逻辑E既是扩展的又是变异的。它增加了新的词汇和新的相干蕴涵定理,并排斥经典实质蕴涵的假言推理。
?名字
... 所属州: UT 名字: Belnap 姓: W ...
贝尔那普
标签
英汉双解词典包含3185865条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。