| Property |
Value |
| dbo:abstract
|
- En algèbre et en logique, une algèbre modale est une structure tel que
* est une algèbre de Boole (structure),
* est un opérateur unaire sur A satisfaisant et pour tout x, y dans A. Une algèbre modale fourni des modèles de logiques modales propositionnel de la même manière que les algèbres booléennes sont des modèles de la logique classique. En particulier, la variété de toutes algèbres modales est la sémantique algébrique équivalentes de la logique modale K dans le sens de la , et le treillis de ses sous-variétés est duellement isomorphe au treillis de logiques modales normales. (fr)
- En algèbre et en logique, une algèbre modale est une structure tel que
* est une algèbre de Boole (structure),
* est un opérateur unaire sur A satisfaisant et pour tout x, y dans A. Une algèbre modale fourni des modèles de logiques modales propositionnel de la même manière que les algèbres booléennes sont des modèles de la logique classique. En particulier, la variété de toutes algèbres modales est la sémantique algébrique équivalentes de la logique modale K dans le sens de la , et le treillis de ses sous-variétés est duellement isomorphe au treillis de logiques modales normales. (fr)
|
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 1445 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:art
|
- Modal algebra (fr)
- Modal algebra (fr)
|
| prop-fr:id
| |
| prop-fr:lang
| |
| prop-fr:wikiPageUsesTemplate
| |
| dct:subject
| |
| rdfs:comment
|
- En algèbre et en logique, une algèbre modale est une structure tel que
* est une algèbre de Boole (structure),
* est un opérateur unaire sur A satisfaisant et pour tout x, y dans A. Une algèbre modale fourni des modèles de logiques modales propositionnel de la même manière que les algèbres booléennes sont des modèles de la logique classique. En particulier, la variété de toutes algèbres modales est la sémantique algébrique équivalentes de la logique modale K dans le sens de la , et le treillis de ses sous-variétés est duellement isomorphe au treillis de logiques modales normales. (fr)
- En algèbre et en logique, une algèbre modale est une structure tel que
* est une algèbre de Boole (structure),
* est un opérateur unaire sur A satisfaisant et pour tout x, y dans A. Une algèbre modale fourni des modèles de logiques modales propositionnel de la même manière que les algèbres booléennes sont des modèles de la logique classique. En particulier, la variété de toutes algèbres modales est la sémantique algébrique équivalentes de la logique modale K dans le sens de la , et le treillis de ses sous-variétés est duellement isomorphe au treillis de logiques modales normales. (fr)
|
| rdfs:label
|
- Algèbre modale (fr)
- Modal algebra (en)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
