scientific article; zbMATH DE number 1223625
From MaRDI portal
Publication:4218936
zbMath0908.06004MaRDI QIDQ4218936
Reinhold Heckmann, Michael Huth
Publication date: 15 November 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
possibility theorycartesian closed categorycontinuous valuationsquantitative predicatescontinuous predicatebicontinuous latticesScott-continuous maps
Fuzzy logic; logic of vagueness (03B52) Logic in artificial intelligence (68T27) Semantics in the theory of computing (68Q55) Categorical logic, topoi (03G30) Continuous lattices and posets, applications (06B35) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)
Related Items (6)
Basic concepts of quantale-enriched topologies ⋮ A non-topological view of dcpos as convergence spaces. ⋮ \(L\)-fuzzy strongest postcondition predicate transformers as \(L\)-idempotent linear or affine operators between semimodules of monotonic predicates ⋮ A decomposition theorem for maxitive measures ⋮ Rough games modeled via \(L\)-fuzzy ambiguous representations of semilattices ⋮ Ambiguous representations of semilattices, imperfect information, and predicate transformers
This page was built for publication: