The Propositional Logic of Team Properties NSYR6W27FP
| URI | m2://res/NSYR6W27FP |
|---|---|
| Kind | preprint |
| Creators | Fredrik Engström, Orvar Lorimer-Olsson |
| Date | 2023-03-24 |
| MSC | 03-XX |
| Subjects | arxiv math.LO |
| Scope | in |
Expressions
e1: version, preprint
| Language | en |
|---|---|
| Date | 2023-03-24 |
| Ids | arXiv 2303.14022 |
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 |
|---|---|---|---|
| 13HENJ15QQ | definition | definition 2.8 | arxiv |
| 14FMKC92E5 | statement | proposition 4.12 | arxiv |
| 1EMZ7VHA0J | statement | proposition 2.12 | arxiv |
| 1VRV5QBEKB | statement | theorem 5.3 | arxiv |
| 2HYPP5MBHF | statement | proposition 4.4 | arxiv |
| 2JSJ822BDA | statement | lemma 3.5 | arxiv |
| 2RYHG033GB | definition | definition 5.2 | arxiv |
| Substitutionality | statement | theorem 2.7 | arxiv |
| Soundness | statement | theorem 2.14 | arxiv |
| Deduction theorem for LTP | statement | theorem 4.2 | arxiv |
| 4RN9CRF0D4 | definition | definition 3.9 | arxiv |
| 57Y4MFTER2 | statement | lemma 6.11 | arxiv |
| 5HDZNZ64HF | definition | definition 2.10 | arxiv |
| 6GZ62Z1S01 | statement | proposition 3.2 | arxiv |
| 6JJNCG7EZ5 | statement | proposition 4.16 | arxiv |
| 6KCYTRNEQP | statement | proposition 4.9 | arxiv |
| 6YFRNZE4HK | statement | lemma 6.10 | arxiv |
| 8GBGCP9V6K | definition | definition 3.8 | arxiv |
| 9D203TG8VX | definition | definition 6.1 | arxiv |
| 9EJBF3V4S1 | definition | definition 2.1 | arxiv |
| A2FVF7CBJ4 | statement | corollary 3.7 | arxiv |
| BPNPBWTT82 | statement | proposition 6.14 | arxiv |
| C19BZ5WKD0 | statement | proposition 2.5 | arxiv |
| D6EPA5VTZ5 | statement | theorem 4.13 | arxiv |
| DRYAHBSG78 | statement | theorem 3.12 | arxiv |
| ECKQQCJBHC | definition | definition 6.2 | arxiv |
| EEAT66CZ7H | statement | corollary 6.12 | arxiv |
| F4JZGXVXXD | statement | proposition 4.17 | arxiv |
| F624HN4HBD | definition | definition 6.6 | arxiv |
| FXT21CH0V6 | statement | proposition 6.3 | arxiv |
| G0T6RZQT6Z | statement | proposition 5.5 | arxiv |
| GE910WKYB7 | definition | definition 6.9 | arxiv |
| GT60N3554M | definition | definition 2.2 | arxiv |
| Completeness | statement | theorem 3.6 | arxiv |
| HR2QM177WJ | definition | definition 4.15 | arxiv |
| Stone representation theorem | statement | theorem 6.8 | arxiv |
| JZB6KE6X3W | definition | definition 5.1 | arxiv |
| KBG0RPHVQS | statement | proposition 3.3 | arxiv |
| MM0TB4R4GS | definition | definition 4.5 | arxiv |
| MM5GWG0MK5 | definition | definition 2.3 | arxiv |
| P20BZYX39S | definition | definition 3.1 | arxiv |
| P798T4JQRC | statement | corollary 6.15 | arxiv |
| P99JD8NYT6 | statement | lemma 3.10 | arxiv |
| PA123CGBZ8 | statement | proposition 2.6 | arxiv |
| Q4RVMA2DY0 | statement | proposition 4.7 | arxiv |
| QCSANVG5C4 | definition | definition 4.8 | arxiv |
| R773B9N3FC | statement | theorem 3.11 | arxiv |
| RKWBXG6EYP | statement | theorem 6.7 | arxiv |
| SC1YTAWA7H | definition | definition 2.4 | arxiv |
| TCF927SF19 | statement | theorem 6.4 | arxiv |
| TQBA6QX3Q4 | statement | lemma 6.5 | arxiv |
| VD4AK0T7QR | definition | definition 4.1 | arxiv |
| VVWP2ZZ41Q | statement | lemma 2.13 | arxiv |
| W455XJBGX6 | statement | proposition 4.11 | arxiv |
| W5690WS9P8 | definition | definition 4.14 | arxiv |
| WKWZDHHRXV | definition | definition 2.9 | arxiv |
| Y33RMGMZ3V | statement | lemma 6.13 | arxiv |
| YDA548712T | definition | definition 4.3 | arxiv |
| YJCVPCKBZM | definition | definition 5.4 | arxiv |
| YJNDS0SK5P | definition | definition 4.10 | arxiv |
| YNVXZ52ST4 | definition | definition 2.11 | arxiv |
| ZP8XEK9DK9 | definition | definition 3.4 | arxiv |
| ZV29978PD0 | statement | proposition 4.6 | arxiv |
Catalogue records
- arxiv: 2303.14022 (work)
- arxiv_text: 2303.14022 (work)