【摘要】：本文在中間邏輯中引入了良構(gòu)范式的概念,為該類范式的研究提出了一個通用方法,并應(yīng)用該方法證明了HT邏輯是存在一般蘊(yùn)含范式的最弱中間邏輯,經(jīng)典命題邏輯CPL是存在限制蘊(yùn)含范式的僅有中間邏輯.
[Abstract]:In this paper, the concept of well-structured normal form is introduced into the intermediate logic, and a general method is proposed for the study of this kind of normal form. By using this method, it is proved that HT logic is the weakest intermediate logic in the existence of general implied normal form. Classical propositional logic (CPL) is the only intermediate logic in which there is a restricted implied normal form.
【作者單位】： 清華大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)系 貴州師范大學(xué)數(shù)學(xué)與計(jì)算機(jī)科學(xué)學(xué)院 貴州師范大學(xué)數(shù)學(xué)與計(jì)算機(jī)科學(xué)學(xué)院
【基金】：國家自然科學(xué)基金(60573009，，60703095) 貴州省長基金(2005(212))
【分類號】：O141.1


本文編號：2166434