propositional algebra 中文意思是什麼
-
The algebra and generalized tautology in limited disturbing fuzzy propositional logic
有限擾動模糊邏輯代數及其廣義重言式 -
Syntactic system of lattice - valued propositional logic based on finite lattice implication algebra
基於有限格蘊涵代數的格值命題邏輯語法系統 -
In this paper, a new type algebra is introduced, it is the algebraic abstract of mpm system just as boolean algebra is the algebraic abstract of 2 - valued propositional calculus. the main purpose of this paper is to investigate the various properties of the new algebra. in addition, this paper constructs an axiom set based on the medium logic propositional calculus system mpm, and gives a proof of its completeness
本文通過對mpm中介邏輯命題演算系統進行代數抽象，建立了一個新的代數系統，討論了該代數系統的性質，並利用該代數系統的代數性質構造了中介命題演算系統mpm上的一個公理完備集合，使用該公理集合可以方便的推導出mpm上的等值和互推公式，這對于處理不完全信息數據庫的查詢優化有著重要作用。 -
Semantic system of lattice - valued propositional logic based on finite lattice implication algebra
基於有限格蘊涵代數的格值命題邏輯語義系統 -
Study on lattice - valued logic system a lattice - valued propositional logic system lp ( x ) based on lattice implication algebra is proposed. the syntax and semantics of lp ( x ) are discussed. the soundness theorem is proved
四、格值邏輯系統的研究建立了基於格蘊涵代數的格值命題邏輯系統l試x ） ，並討論了它的語法和語義問題，證明了可靠性定理。
分享友人