Implication in finite posets with pseudocomplemented sections 6D6C14KFGJ
| URI | m2://res/6D6C14KFGJ |
|---|---|
| Kind | preprint |
| Creators | Ivan Chajda, Helmut Länger |
| Date | 2021-08-21 |
| MSC | 03-XX |
| Subjects | arxiv math.LO |
| Scope | in |
Expressions
e1: version, preprint
| Language | en |
|---|---|
| Date | 2021-08-21 |
| Ids | arXiv 2108.09548, zbl_id 900488596 |
Items in this resource
The mentions of the inventory that name this resource. Each name links to the card of its inventory row.
| Item | Kind | Where | Source |
|---|---|---|---|
| 1B0V79HWQK | definition | definition 2.1 | arxiv |
| 57ZMXDKVVV | definition | definition 4.1 | arxiv |
| 5MSCQ9DV1M | statement | proposition 3.7 | arxiv |
| 8G4PXKMQ5A | statement | theorem 4.2 | arxiv |
| A0BX8F2RF0 | example | example 4.3 | arxiv |
| B09X5YM2K1 | statement | theorem 3.2 | arxiv |
| BZVWF170YE | statement | proposition 2.4 | arxiv |
| E7FK38Y18G | example | example 2.7 | arxiv |
| KSN4DMB227 | example | example 2.8 | arxiv |
| N02F742135 | statement | theorem 3.5 | arxiv |
| PR9PGD9MW6 | example | example 3.8 | arxiv |
| R0DRG2SA8D | definition | definition 3.1 | arxiv |
| VC2QEYH9HS | statement | proposition 2.5 | arxiv |
| VPQHRFG6AR | statement | lemma 2.3 | arxiv |
| W79E31JW0R | statement | theorem 3.3 | arxiv |
Catalogue records
- arxiv: 2108.09548 (work)
- arxiv_text: 2108.09548 (work)
- zbmath_search: 900488596 (work)