. "Logical Approximation II" . "Perfilieva, Irina" . . "17310" . "Logical Approximation II"@en . . "[8143929350A6]" . "1432-7643" . . . . "Logical Approximation II"@en . "613775" . "4" . . . "Tento \u010Dl\u00E1nek navazuje na studii extenzion\u00E1ln\u00EDch formul\u00ED a jejich reprezentaci pomoc\u00ED norm\u00E1ln\u00EDch forem. Pojem extenzion\u00E1ln\u00EDch formul\u00ED je roz\u0161\u00ED\u0159en na p\u0159\u00EDpad, kdy je extenzionalita p\u0159edpokl\u00E1d\u00E1na vzhledem k reflexivn\u00EDm bin\u00E1rn\u00EDm relac\u00EDm."@cs . "2"^^ . . "2"^^ . . "DE - Spolkov\u00E1 republika N\u011Bmecko" . "The paper continues study of extensional formulas and their representation by normal forms. The notion of extensional formula is extended to the case when extensionality is considered with respect to a binary reflexive relation." . "Soft Computing" . "The paper continues study of extensional formulas and their representation by normal forms. The notion of extensional formula is extended to the case when extensionality is considered with respect to a binary reflexive relation."@en . "Logick\u00E1 aproximace II"@cs . "Logick\u00E1 aproximace II"@cs . "228-233" . . . . "Z(MSM 179000002)" . "\u00DAnor" . . "RIV/61988987:17310/03:00000107" . "Da\u0148kov\u00E1, Martina" . "RIV/61988987:17310/03:00000107!RIV/2005/MSM/173105/N" . . "Logical Approximation II" . "6"^^ . . . "Disjunctive and conjunctive normal forms;;BL-logic;fuzzy logic;extensionality;approximation"@en . .