本文選題：真度函數(shù)　切入點(diǎn)：τ-定理　出處：《計(jì)算機(jī)工程與應(yīng)用》2011年25期

【摘要】：基于乘積邏輯系統(tǒng)研究公式的真度函數(shù)理論。在乘積邏輯系統(tǒng)中給出真度函數(shù)的概念,得到真度函數(shù)的一系列性質(zhì),證明τ-完備性定理,說明τ-語構(gòu)與τ-語義的和諧性。
[Abstract]:Based on the theory of truth function of product logic system, the concept of true degree function is given in the product logic system, a series of properties of truth degree function are obtained, 蟿 -completeness theorem is proved, and the harmony between 蟿 -construction and 蟿 -semantics is proved.
【作者單位】： 中國(guó)計(jì)量學(xué)院理學(xué)院數(shù)學(xué)系;
【基金】：浙江省自然科學(xué)基金(No.Y1110651)
【分類號(hào)】：O141.1
，

本文編號(hào)：1657910