scientific article; zbMATH DE number 1516303

MaRDI QIDQ4509101zbMATH OpenFDO

Authors Leonard Paulík

Publication date 11 October 2000

zbMATH Keywords

fixpointfuzzy logic programmingfuzzy SLD-resolutionleft continuityt-norm

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Fuzzy logic; logic of vagueness (03B52) Logic in computer science (03B70) Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 922630
• A sufficient and necessary condition of left (tight)-continuity of interval valued t-norms
• On the continuity points of left-continuous t-norms
• Continuous fuzzy Horn logic
• A necessary and sufficient condition for left-continuity of interval-valued triangular norms

Cited in

(1)

• scientific article; zbMATH DE number 922630 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4509101)