974 resultados para BL
Resumo:
del Samuel ...
Resumo:
[Johann Heinrich Wilhelm] Witschel
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.
Resumo:
von Ad. Jellinek
Resumo:
durch Georgium Nigrium
Resumo:
[Verf.: Petrus Galatinus]
Resumo:
par Vladimir Stassof et David Gunzburg
Resumo:
von Adolf Löwinger
Resumo:
Vorbesitzer: Dominikanerkloster Frankfurt am Main
Resumo:
Joh. Christophorus Wagenseilius ...
Resumo:
Vorbesitzer: Dominikanerkloster Frankfurt am Main