974 resultados para BL


Relevância:

10.00% 10.00%

Publicador:

Resumo:

del Samuel ...

Relevância:

10.00% 10.00%

Publicador:

Resumo:

A Hennessy-Milner property, relating modal equivalence and bisimulations, is defined for many-valued modal logics that combine a local semantics based on a complete MTL-chain (a linearly ordered commutative integral residuated lattice) with crisp Kripke frames. A necessary and sufficient algebraic condition is then provided for the class of image-finite models of these logics to admit the Hennessy-Milner property. Complete characterizations are obtained in the case of many-valued modal logics based on BL-chains (divisible MTL-chains) that are finite or have universe [0,1], including crisp Lukasiewicz, Gödel, and product modal logics.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

par Vladimir Stassof et David Gunzburg

Relevância:

10.00% 10.00%

Publicador:

Resumo:

von Adolf Löwinger

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Vorbesitzer: Dominikanerkloster Frankfurt am Main

Relevância:

10.00% 10.00%

Publicador:

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Vorbesitzer: Dominikanerkloster Frankfurt am Main