%0 Journal Article
%A Bartušek, Tomáš
%A Navara, Mirko
%T Program for generating fuzzy logical operations and its use in mathematical proofs
%J Kybernetika
%D 2002
%P 235-244
%V 38
%N 3
%U http://geodesic.mathdoc.fr/item/KYB_2002_38_3_a1/
%G en
%F KYB_2002_38_3_a1