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

【摘要】：基于乘積邏輯系統(tǒng)研究公式的真度函數(shù)理論。在乘積邏輯系統(tǒng)中給出真度函數(shù)的概念,得到真度函數(shù)的一系列性質(zhì),證明τ-完備性定理,說明τ-語構與τ-語義的和諧性。
[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.
【作者單位】： 中國計量學院理學院數(shù)學系;
【基金】：浙江省自然科學基金(No.Y1110651)
【分類號】：O141.1
，

本文編號：1657910