On Three-Valued Dependence-Like Logics 90A5DJG27R
| URI | m2://res/90A5DJG27R |
|---|---|
| Kind | preprint |
| Creators | Yaroslav Petrukhin |
| Date | 2026-10-06 |
| Subjects | arxiv cs.LO, arxiv math.LO |
| Scope | in |
Expressions
e1: version, preprint
| Language | en |
|---|---|
| Date | 2026-10-06 |
| Ids | arXiv 2610.08293, DOI 10.12775/llp.2026.016 |
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 |
|---|---|---|---|
| 2PT6GTGV92 | definition | definition 2.1 | arxiv |
| Cut admissibility | statement | theorem 3 | arxiv |
| Height-preserving admissibility of weakening and contraction | statement | theorem 4 | arxiv |
| Ciuni, Ferguson, and Szmuc | statement | theorem 1 | arxiv |
| C1HX5V3FFF | definition | definition 2.5 | arxiv |
| D9BW75D4V3 | definition | definition 2.4 | arxiv |
| Height-preserving invertibility | statement | theorem 5 | arxiv |
| G4VF07FY2E | statement | proposition 1 | arxiv |
| HYNRRBYWWE | statement | proposition 2 | arxiv |
| JFFJY31JDE | definition | definition 2.2 | arxiv |
| QYY1594KRP | definition | definition 2.3 | arxiv |
| Soundness and Completeness | statement | theorem 2 | arxiv |
| WYKH7A61CM | statement | proposition 3 | arxiv |
Catalogue records
- arxiv: 2610.08293 (work)
- arxiv_text: 2610.08293 (work)