| http://dbpedia.org/ontology/abstract
|
在代數和邏輯中，模態代數是代數結構 使得
* 是布爾代數，
* 是在 A 上的一元運算，對於所有 A 中的 x, y 滿足 和 。 模態代數提供了命題模態邏輯的模型，以和布爾代數是經典邏輯的模型相同的方式。特別是，所有模態代數的是在抽象代數邏輯意義下的模態邏輯 K 的等價代數語義，并且它的子簇們的格對偶同構於正規模態邏輯的格。 Stone布爾代數表示定理可以推廣為 ，它確保了每個模態代數可以為在模態內可容納的集合們的代數。
, In algebra and logic, a modal algebra is a … In algebra and logic, a modal algebra is a structure such that
* is a Boolean algebra,
* is a unary operation on A satisfying and for all x, y in A. Modal algebras provide models of propositional modal logics in the same way as Boolean algebras are models of classical logic. In particular, the variety of all modal algebras is the equivalent algebraic semantics of the modal logic K in the sense of abstract algebraic logic, and the lattice of its subvarieties is dually isomorphic to the lattice of normal modal logics. Stone's representation theorem can be generalized to the Jónsson–Tarski duality, which ensures that each modal algebra can be represented as the algebra of admissible sets in a modal general frame. A Magari algebra (or diagonalizable algebra) is a modal algebra satisfying . Magari algebras correspond to provability logic. algebras correspond to provability logic.
, En algèbre et en logique, une algèbre moda … 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. au treillis de logiques modales normales.
|
| http://dbpedia.org/ontology/wikiPageID
|
17257316
|
| http://dbpedia.org/ontology/wikiPageLength
|
1584
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
978799819
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Propositional_logic +
, http://dbpedia.org/resource/Category:Boolean_algebra +
, http://dbpedia.org/resource/Category:Modal_logic +
, http://dbpedia.org/resource/Isomorphic +
, http://dbpedia.org/resource/Interior_algebra +
, http://dbpedia.org/resource/Lattice_%28order%29 +
, http://dbpedia.org/resource/Heyting_algebra +
, http://dbpedia.org/resource/Classical_logic +
, http://dbpedia.org/resource/Abstract_algebraic_logic +
, http://dbpedia.org/resource/Abstract_algebra +
, http://dbpedia.org/resource/Logic +
, http://dbpedia.org/resource/Variety_%28universal_algebra%29 +
, http://dbpedia.org/resource/Stone%27s_representation_theorem +
, http://dbpedia.org/resource/Representation_theorem +
, http://dbpedia.org/resource/Boolean_algebra_%28structure%29 +
, http://dbpedia.org/resource/Provability_logic +
, http://dbpedia.org/resource/Normal_modal_logic +
, http://dbpedia.org/resource/J%C3%B3nsson%E2%80%93Tarski_duality +
, http://dbpedia.org/resource/Modal_logic +
, http://dbpedia.org/resource/General_frame +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Algebra-stub +
, http://dbpedia.org/resource/Template:ISBN +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Modal_logic +
, http://dbpedia.org/resource/Category:Boolean_algebra +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Modal_algebra?oldid=978799819&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Modal_algebra +
|
| owl:sameAs |
https://global.dbpedia.org/id/4rbPR +
, http://fr.dbpedia.org/resource/Alg%C3%A8bre_modale +
, http://zh.dbpedia.org/resource/%E6%A8%A1%E6%85%8B%E4%BB%A3%E6%95%B8 +
, http://dbpedia.org/resource/Modal_algebra +
, http://rdf.freebase.com/ns/m.043lhkm +
, http://www.wikidata.org/entity/Q6888003 +
|
| rdfs:comment |
在代數和邏輯中，模態代數是代數結構 使得
* 是布爾代數，
* 是在 A 上的一元運算，對於所有 A 中的 x, y 滿足 和 。 模態代數提供了命題模態邏輯的模型，以和布爾代數是經典邏輯的模型相同的方式。特別是，所有模態代數的是在抽象代數邏輯意義下的模態邏輯 K 的等價代數語義，并且它的子簇們的格對偶同構於正規模態邏輯的格。 Stone布爾代數表示定理可以推廣為 ，它確保了每個模態代數可以為在模態內可容納的集合們的代數。
, En algèbre et en logique, une algèbre moda … 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. au treillis de logiques modales normales.
, In algebra and logic, a modal algebra is a … In algebra and logic, a modal algebra is a structure such that
* is a Boolean algebra,
* is a unary operation on A satisfying and for all x, y in A. Modal algebras provide models of propositional modal logics in the same way as Boolean algebras are models of classical logic. In particular, the variety of all modal algebras is the equivalent algebraic semantics of the modal logic K in the sense of abstract algebraic logic, and the lattice of its subvarieties is dually isomorphic to the lattice of normal modal logics.hic to the lattice of normal modal logics.
|
| rdfs:label |
模態代數
, Algèbre modale
, Modal algebra
|
