【摘要】：通常的邏輯只涉及靜態(tài)否定的概念。文章建立了幾類動態(tài)系統(tǒng)來刻畫動態(tài)否定概念,并引入相應(yīng)的語義,然后證明這些系統(tǒng)相對這些語義是可靠和完全的。
【作者單位】：
【基金】：教育部基地重大項(xiàng)目《歸納邏輯及其應(yīng)用》(項(xiàng)目編號05JJD720.40001)
【分類號】：B815.9

【相似文獻(xiàn)】

相關(guān)期刊論文 前1條

1 李小五;;刻畫動態(tài)否定的邏輯[J];中山大學(xué)學(xué)報(bào)(社會科學(xué)版);2008年02期

，

本文編號：2543927