L-idempotent linear operators between predicate semimodules, dual pairs and conjugate operators

MaRDI QIDQ4899427zbMATH OpenFDO

Authors O. R. Nykyforchyn, Oksana Mykytsey

Publication date 8 January 2013

zbMATH Keywords

conjugate linear operatoridempotent semimodulemonotone predicatepolarityScott continuity

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Other algebras related to logic (03G25) Continuous lattices and posets, applications (06B35)

Recommendations

• Continuous and dually continuous idempotent \(L\)-semimodules
• \(L\)-fuzzy strongest postcondition predicate transformers as \(L\)-idempotent linear or affine operators between semimodules of monotonic predicates
• Adjoints and monads related to compact lattices and compact Lawson idempotent semimodules
• Tensor products of idempotent semimodules. An algebraic approach
• Linear functionals on idempotent spaces. An algebraic approach

Cited in

(3)

• Continuous and dually continuous idempotent \(L\)-semimodules
• \(L\)-fuzzy strongest postcondition predicate transformers as \(L\)-idempotent linear or affine operators between semimodules of monotonic predicates
• Ambiguous representations of semilattices, imperfect information, and predicate transformers

This page was built for publication: \(L\)-idempotent linear operators between predicate semimodules, dual pairs and conjugate operators

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