tense-logic language 中文意思是什麼
tense-logic language
解釋
時態邏輯語言-
Part two the study of lattice - valued tense propositional logic system and its resolution method the main work of this part is to introduce four tense operators e ( ever ), f ( will ), h ( ever always ) and g ( will always ) into lp ( x ), put up lattice - valued tense propositional logic system ltp ( x ) which takes time axis as language circumstance, gave detailed semantic interpretation and syntax structure, and discussed some properties of it, then proved soundness theorem and consistence theorem. furthermore, studied ( a, t ) - resolution principle which is related to time, gave some rules of computing tense resolvent, and put forward the method of tense resolution
第二部分:關于格值時態命題邏輯系統及其歸結方法的研究此部分的主要工作是在格值命題邏輯系統lp ( x )中引進時態運算元e (曾經) 、 f (將會)及其對偶運算元h (曾經總是) 、 g (將會總是) ,提出了以時軸為語境的格值時態命題邏輯系統ltp ( x ) ,並給出其具體的語義解釋和語法結構,並討論了它的一些性質,證明了該系統的可靠性和協調性。
分享友人