Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Kleene_algebra> ?p ?o. }
Showing items 1 to 33 of
33
with 100 items per page.
- Kleene_algebra abstract "In mathematics, a Kleene algebra (/ˈkleɪni/ KLAY-nee; named after Stephen Cole Kleene) is either of two different things: A bounded distributive lattice with an involution ¬ satisfying De Morgan's laws (i.e. a De Morgan algebra), additionally satisfying the inequality x ∧ ¬x ≤ y ∨ ¬y. Kleene (and De Morgan) algebras are subclasses of Ockham algebras. The simplest Kleene algebra of this kind is Kleene's three-valued logic K3. (This is analogous to Boolean logic being the simplest Boolean algebra.) An algebraic structure that generalizes the operations known from regular expressions. The remainder of this article deals with this notion of Kleene algebra.↑ ↑".
- Kleene_algebra wikiPageExternalLink 2004sp.
- Kleene_algebra wikiPageID "155430".
- Kleene_algebra wikiPageRevisionID "582198888".
- Kleene_algebra date "November 2013".
- Kleene_algebra hasPhotoCollection Kleene_algebra.
- Kleene_algebra reason "Apparently, the two-valued Boolean algebra also satisfies all required properties, and is simpler than K3.".
- Kleene_algebra subject Category:Algebraic_logic.
- Kleene_algebra subject Category:Algebraic_structures.
- Kleene_algebra subject Category:Formal_languages.
- Kleene_algebra subject Category:Many-valued_logic.
- Kleene_algebra type AlgebraicStructures.
- Kleene_algebra type Artifact100021939.
- Kleene_algebra type Object100002684.
- Kleene_algebra type PhysicalEntity100001930.
- Kleene_algebra type Structure104341686.
- Kleene_algebra type Whole100003553.
- Kleene_algebra type YagoGeoEntity.
- Kleene_algebra type YagoPermanentlyLocatedEntity.
- Kleene_algebra comment "In mathematics, a Kleene algebra (/ˈkleɪni/ KLAY-nee; named after Stephen Cole Kleene) is either of two different things: A bounded distributive lattice with an involution ¬ satisfying De Morgan's laws (i.e. a De Morgan algebra), additionally satisfying the inequality x ∧ ¬x ≤ y ∨ ¬y. Kleene (and De Morgan) algebras are subclasses of Ockham algebras. The simplest Kleene algebra of this kind is Kleene's three-valued logic K3.".
- Kleene_algebra label "Algèbre de Kleene".
- Kleene_algebra label "Kleene algebra".
- Kleene_algebra label "Álgebra de Kleene".
- Kleene_algebra label "Алгебра Клини".
- Kleene_algebra label "克莱尼代数".
- Kleene_algebra sameAs Algèbre_de_Kleene.
- Kleene_algebra sameAs Álgebra_de_Kleene.
- Kleene_algebra sameAs m.014c4s.
- Kleene_algebra sameAs Q2634506.
- Kleene_algebra sameAs Q2634506.
- Kleene_algebra sameAs Kleene_algebra.
- Kleene_algebra wasDerivedFrom Kleene_algebra?oldid=582198888.
- Kleene_algebra isPrimaryTopicOf Kleene_algebra.