"[D3E80E3BA5F4]" . . "44" . "Standard Completeness Theorem for -MTL"@en . . "Standard Completeness Theorem for -MTL"@en . "0933-5846" . . "Hor\u010D\u00EDk, Rostislav" . "413 ; 424" . "PiMTL je schematick\u00E9 roz\u0161\u00ED\u0159en\u00ED Monoidal T-norm Based Logic (MTL) o axiomy charakteristick\u00E9 produktov\u00E9 logice. V tomto \u010Dl\u00E1nku ukazujeme, \u017Ee PiMTL spl\u0148uje v\u011Btu o standardn\u00ED \u00FAplnosti. Z algebraick\u00E9ho hlediska to znamen\u00E1, \u017Ee t\u0159\u00EDda standardn\u00EDch PiMTL-algeber generuje varietu v\u0161ech PiMTL-algeber."@cs . "1"^^ . "P(GA201/02/1540)" . "Standard Completeness Theorem for -MTL" . "2005" . . "12"^^ . "V\u011Bta o standardn\u00ED \u00FAplnosti logiky PiMTL"@cs . "RIV/68407700:21230/05:03109547" . "PiMTL is a schematic extension of the monoidal t-norm based logic (MTL) by the characteristic axioms of product logic. In this paper we prove that PiMTL satisfies the standard completeness theorem. From the algebraic point of view, we show that the class of PiMTL-algebras (bounded commutative cancellative residuated l-monoids) in the real unit interval [0,1] generates the variety of all PiMTL-algebras."@en . "1"^^ . . . . "21230" . "PiMTL is a schematic extension of the monoidal t-norm based logic (MTL) by the characteristic axioms of product logic. In this paper we prove that PiMTL satisfies the standard completeness theorem. From the algebraic point of view, we show that the class of PiMTL-algebras (bounded commutative cancellative residuated l-monoids) in the real unit interval [0,1] generates the variety of all PiMTL-algebras." . "Archive for Mathematical Logic" . "Standard Completeness Theorem for -MTL" . "DE - Spolkov\u00E1 republika N\u011Bmecko" . . . . . "544255" . "RIV/68407700:21230/05:03109547!RIV06-GA0-21230___" . . . . "V\u011Bta o standardn\u00ED \u00FAplnosti logiky PiMTL"@cs . . . . "MTL logic; cancellative left-continuous t-norm; fuzzy logic; left-continuous t-norm; many-valued logic; product logic"@en . .