Metric Methods Three Examples and a Theorem

DOI10.1016/S0743-1066(14)80007-1zbMath0823.68017MaRDI QIDQ4318871

Melvin Fitting

Publication date: 6 February 1995

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

zbMATH Keywords

logic program

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items

Logic programs and connectionist networks, Logic programs, iterated function systems, and recurrent radial basis function networks, Convergence and fixed points by fuzzy orders, Connectionist modal logic: representing modalities in neural networks, Logic Programs under Three-Valued Łukasiewicz Semantics, Generalized metric spaces: a survey, Generalized metrics and uniquely determined logic programs.