Mathematical Aspects of Logic Programming Semantics

DOI10.1201/b10397zbMath1219.68085MaRDI QIDQ3075664

Publication date: 16 February 2011

Full work available at URL: https://library.oapen.org/bitstream/20.500.12657/41648/1/9781439829622.pdf

multivalued mappings; metric spaces; topology; artificial neural networks; logic programming; fixed-point theorems; declarative semantics

Mathematics Subject Classification ID

68-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science

47H10: Fixed-point theorems

03B70: Logic in computer science

68Q55: Semantics in the theory of computing

68N17: Logic programming

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

54H99: Connections of general topology with other structures, applications

Related Items

Existence of solutions of cantilever beam problem via (α-β-FG)-contractions in b-metric-like spaces, Unnamed Item, On the topology of partial metric spaces, On Fixed Point Theory in Partially Ordered (Quasi-)metric Spaces and an Application to Complexity Analysis of Algorithms, Nonunique Fixed Points on Partial Metric Spaces Via Control Functions, On the completion of partial metric spaces, On partial metric preserving functions and their characterization, On fixed point theory in topological posets, extended quasi-metric spaces and an application to asymptotic complexity of algorithms, Projective contractions, generalized metrics, and fixed points, Coupled Meir-Keeler type contraction in metric spaces with an application to partial metric spaces, The Hausdorff fuzzy quasi-metric, Common fixed point results for generalized \(\alpha_{s^p}\) contractive mappings and applications, Positive solutions of nonlinear fractional differential equations in non-zero self-distance spaces, From Caristi's theorem to Ekeland's variational principle in \(0_\sigma\)-complete metric-like spaces, A note on best approximation in 0-complete partial metric spaces, A Nemytskii-Edelstein type fixed point theorem for partial metric spaces, Existence and Uniqueness results for nonlinear fractional differential equations via new \(Q\)-function, Recent advances on the results for nonunique fixed in various spaces, A study on the relationship between relaxed metrics and indistinguishability operators, On 0-complete partial metric spaces and quantitative fixed point techniques in denotational semantics, On fixed point theory in partially ordered sets and an application to asymptotic complexity of algorithms, Various generalizations of metric spaces and fixed point theorems, Some new fixed point theorems in partial metric spaces with applications, Common fixed points of a pair of Hardy Rogers type mappings on a closed ball in ordered dislocated metric spaces