Lukasiewicz

基本解釋

A complete ring of sets L is a Lukasiewicz trivalent algebra iff L is isomorphic to a power set lattice.
完備集環(huán) L 是Lukasiewicz三值代數(shù)當(dāng)且僅當(dāng)L同構(gòu)到一個(gè)冪集格.
In the second chapter, the accessible generalized tautologies in Lukasiewicz logic system are studied by means of McNaughton function.
第二部分：利用McNaughton函數(shù)，研究了Lukasiewicz邏輯系統(tǒng)中的可達(dá)廣義重言式。
Lukasiewicz propositional logic system
Lukasiewicz命題邏輯系統(tǒng)
lukasiewicz 3 - valued logic systems
三值Lukasiewicz邏輯系統(tǒng)
Lukasiewicz implication operator
Lukasiewicz蘊(yùn)涵算子