Title衍推系统E_(fde)的推理模型
Authors周北海
Affiliation北京大学哲学系
Keywords代数语义学
实质蕴涵
推理模型
fde
范式定理
推式
命题变元
推理形式
公式集
代数模型
Issue Date1996
Citation.
Abstract衍推系统Efde由Anderson和Belnap1962年提出(见[1]),原本是为了消除实质蕴涵悖论,更自然地刻画日常推理而建立的系统。但是长期以来,除了有代数语义学的解释或称代数模型等其他一些解释外,Efde一直没有相应的推理意义下的解释,这与当初建立该系统的目的不相适应。本文通过提出推理模型以试解决这一问题。
URIhttp://hdl.handle.net/20.500.11897/63511
Appears in Collections:哲学系(宗教学系)

Files in This Work
Adobe PDF

Web of Science®



Checked on Last Week

百度学术™



Checked on Current Time




License: See PKU IR operational policies.