Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Residuated_lattice> ?p ?o }
Showing triples 1 to 72 of
72
with 100 triples per page.
- Residuated_lattice abstract "In abstract algebra, a residuated lattice is an algebraic structure that is simultaneously a lattice x ≤ y and a monoid x•y which admits operations x\z and z/y loosely analogous to division or implication when x•y is viewed as multiplication or conjunction respectively. Called respectively right and left residuals, these operations coincide when the monoid is commutative. The general concept was introduced by Ward and Dilworth in 1939. Examples, some of which existed prior to the general concept, include Boolean algebras, Heyting algebras, residuated Boolean algebras, relation algebras, and MV-algebras. Residuated semilattices omit the meet operation ∧, for example Kleene algebras and action algebras.".
- Residuated_lattice wikiPageID "2483542".
- Residuated_lattice wikiPageLength "12719".
- Residuated_lattice wikiPageOutDegree "51".
- Residuated_lattice wikiPageRevisionID "657137412".
- Residuated_lattice wikiPageWikiLink Abstract_algebra.
- Residuated_lattice wikiPageWikiLink Action_algebra.
- Residuated_lattice wikiPageWikiLink Algebraic_structure.
- Residuated_lattice wikiPageWikiLink Annihilator_(ring_theory).
- Residuated_lattice wikiPageWikiLink Binary_relation.
- Residuated_lattice wikiPageWikiLink Binary_relations.
- Residuated_lattice wikiPageWikiLink Boolean_algebra_(structure).
- Residuated_lattice wikiPageWikiLink Category:Fuzzy_logic.
- Residuated_lattice wikiPageWikiLink Category:Lattice_theory.
- Residuated_lattice wikiPageWikiLink Category:Mathematical_logic.
- Residuated_lattice wikiPageWikiLink Category:Ordered_algebraic_structures.
- Residuated_lattice wikiPageWikiLink Commutative_algebra.
- Residuated_lattice wikiPageWikiLink Complete_lattice.
- Residuated_lattice wikiPageWikiLink Conductor_(ring_theory).
- Residuated_lattice wikiPageWikiLink Distributive_lattice.
- Residuated_lattice wikiPageWikiLink Formal_language.
- Residuated_lattice wikiPageWikiLink Galois_connection.
- Residuated_lattice wikiPageWikiLink Heyting_algebra.
- Residuated_lattice wikiPageWikiLink Heyting_algebras.
- Residuated_lattice wikiPageWikiLink Ideal_(ring_theory).
- Residuated_lattice wikiPageWikiLink Integral_element.
- Residuated_lattice wikiPageWikiLink Kleene_algebra.
- Residuated_lattice wikiPageWikiLink Lattice_(order).
- Residuated_lattice wikiPageWikiLink Linear_logic.
- Residuated_lattice wikiPageWikiLink MV-algebra.
- Residuated_lattice wikiPageWikiLink Mathematics.
- Residuated_lattice wikiPageWikiLink Monoid.
- Residuated_lattice wikiPageWikiLink Monus.
- Residuated_lattice wikiPageWikiLink Morgan_Ward.
- Residuated_lattice wikiPageWikiLink Natural_language.
- Residuated_lattice wikiPageWikiLink Peirces_law.
- Residuated_lattice wikiPageWikiLink Quantale.
- Residuated_lattice wikiPageWikiLink Relation_algebra.
- Residuated_lattice wikiPageWikiLink Residuated_Boolean_algebra.
- Residuated_lattice wikiPageWikiLink Residuated_lattice.
- Residuated_lattice wikiPageWikiLink Residuated_mapping.
- Residuated_lattice wikiPageWikiLink Residuated_semilattice.
- Residuated_lattice wikiPageWikiLink Ring_(mathematics).
- Residuated_lattice wikiPageWikiLink Robert_P._Dilworth.
- Residuated_lattice wikiPageWikiLink Substructural_logic.
- Residuated_lattice wikiPageWikiLink Tautology_(logic).
- Residuated_lattice wikiPageWikiLink Total_order.
- Residuated_lattice wikiPageWikiLink Variety_(universal_algebra).
- Residuated_lattice wikiPageWikiLinkText "Residuated lattice".
- Residuated_lattice wikiPageWikiLinkText "Residuated lattice#Residuated_semilattice".
- Residuated_lattice wikiPageWikiLinkText "residuated lattice".
- Residuated_lattice wikiPageWikiLinkText "residuated semigroup".
- Residuated_lattice wikiPageWikiLinkText "residuated".
- Residuated_lattice wikiPageWikiLinkText "residuation".
- Residuated_lattice hasPhotoCollection Residuated_lattice.
- Residuated_lattice subject Category:Fuzzy_logic.
- Residuated_lattice subject Category:Lattice_theory.
- Residuated_lattice subject Category:Mathematical_logic.
- Residuated_lattice subject Category:Ordered_algebraic_structures.
- Residuated_lattice hypernym Structure.
- Residuated_lattice type Building.
- Residuated_lattice type Field.
- Residuated_lattice type Structure.
- Residuated_lattice comment "In abstract algebra, a residuated lattice is an algebraic structure that is simultaneously a lattice x ≤ y and a monoid x•y which admits operations x\z and z/y loosely analogous to division or implication when x•y is viewed as multiplication or conjunction respectively. Called respectively right and left residuals, these operations coincide when the monoid is commutative. The general concept was introduced by Ward and Dilworth in 1939.".
- Residuated_lattice label "Residuated lattice".
- Residuated_lattice sameAs m.07h3cq.
- Residuated_lattice sameAs Ґратка_з_діленням.
- Residuated_lattice sameAs Q9462417.
- Residuated_lattice sameAs Q9462417.
- Residuated_lattice sameAs 剩余格.
- Residuated_lattice wasDerivedFrom Residuated_lattice?oldid=657137412.
- Residuated_lattice isPrimaryTopicOf Residuated_lattice.