Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Modal_algebra> ?p ?o. }
Showing items 1 to 14 of
14
with 100 items per page.
- Modal_algebra abstract "In algebra and logic, a modal algebra is a structure such thatis 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.".
- Modal_algebra wikiPageID "17257316".
- Modal_algebra wikiPageRevisionID "545321861".
- Modal_algebra hasPhotoCollection Modal_algebra.
- Modal_algebra subject Category:Boolean_algebra.
- Modal_algebra subject Category:Modal_logic.
- Modal_algebra comment "In algebra and logic, a modal algebra is a structure such thatis 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.".
- Modal_algebra label "Modal algebra".
- Modal_algebra label "模態代數".
- Modal_algebra sameAs m.043lhkm.
- Modal_algebra sameAs Q6888003.
- Modal_algebra sameAs Q6888003.
- Modal_algebra wasDerivedFrom Modal_algebra?oldid=545321861.
- Modal_algebra isPrimaryTopicOf Modal_algebra.