A duality between LM-fuzzy possibility computations and their logical semantics

DOI10.22111/ijfs.2019.4487zbMath1429.06005OpenAlexW2937990828MaRDI QIDQ5240889

Wei Yao, Sang-Eon Han, Ling-Xia Lu

Publication date: 29 October 2019

Full work available at URL: http://ijfs.usb.ac.ir/article_4487_a7d1dcd17b0eb572f71d0b01813e0eab.pdf

zbMATH Keywords

denotational semanticslogical semantics\(L\)-fuzzy Scott structure\(LM\)-fuzzy possibility valuationhealthy \(LM\)-fuzzy predicate transformernon-determinism computation

Mathematics Subject Classification ID

Continuous maps (54C05) Continuous lattices and posets, applications (06B35) Topological lattices (06B30)

This page was built for publication: A duality between LM-fuzzy possibility computations and their logical semantics