Left residuated operators induced by posets with a unary operation (Q780122): Difference between revisions
From MaRDI portal
ReferenceBot (talk | contribs) Changed an Item |
Created claim: Wikidata QID (P12): Q127928115, #quickstatements; #temporary_batch_1722791855867 |
||
Property / Wikidata QID | |||
Property / Wikidata QID: Q127928115 / rank | |||
Normal rank |
Latest revision as of 18:19, 4 August 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Left residuated operators induced by posets with a unary operation |
scientific article |
Statements
Left residuated operators induced by posets with a unary operation (English)
0 references
15 July 2020
0 references
operator residuation
0 references
operator left adjointness
0 references
Boolean poset
0 references
pseudo-Boolean poset
0 references
pseudo-orthomodular poset
0 references
generalized operator residuation
0 references