Metric Methods Three Examples and a Theorem

DOI10.1016/S0743-1066(14)80007-1MaRDI QIDQ4318871zbMATH OpenFDO

Authors Melvin Fitting

Publication date 6 February 1995

Published in The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0743-1066(14)80007-1

zbMATH Keywords

logic program

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Generalized metrics and uniquely determined logic programs.
• scientific article; zbMATH DE number 994051
• scientific article; zbMATH DE number 3930328
• Ultrametric spaces and logic programming
• Mathematical aspects of logic programming semantics.

Cited in

(8)

• Generalized metrics and uniquely determined logic programs.
• Logic programs and connectionist networks
• Logic programs, iterated function systems, and recurrent radial basis function networks
• Logic Programs under Three-Valued Łukasiewicz Semantics
• Some classes of distance spaces as generalized metric spaces: terminology, mappings, fixed points and applications in theoretical informatics
• Convergence and fixed points by fuzzy orders
• Connectionist modal logic: representing modalities in neural networks
• Generalized metric spaces: a survey

This page was built for publication: Metric Methods Three Examples and a Theorem

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