A non-distributive logic for semiconcepts of a context and its modal extension with semantics based on Kripke contexts 13H5BTAXHF
| URI | m2://res/13H5BTAXHF |
|---|---|
| Kind | preprint |
| Creators | Prosenjit Howlader, Mohua Banerjee |
| Date | 2022-07-22 |
| MSC | 03-XX |
| Subjects | arxiv math.LO |
| Scope | in |
Expressions
e1: version, preprint
| Language | en |
|---|---|
| Date | 2022-07-22 |
| Ids | arXiv 2207.11097 |
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 |
|---|---|---|---|
| 114C57QK0P | statement | proposition 19 | arxiv |
| 1GWXQGPDW6 | statement | corollary 1 | arxiv |
| 1QB83SGS56 | statement | proposition 15 | arxiv |
| 25WJW5DFRM | definition | definition 14 | arxiv |
| Completeness | statement | theorem 15 | arxiv |
| 2H5C21Q1AC | statement | proposition 20 | arxiv |
| 2HF5J093VQ | statement | proposition 18 | arxiv |
| 2JD4E5XA30 | statement | lemma 8 | arxiv |
| 2M4AD2RD6G | definition | definition 7 | arxiv |
| 2TRM6BBV2H | definition | definition 6 | arxiv |
| 2W00T3Q83B | statement | lemma 10 | arxiv |
| 34GX72WFSD | statement | corollary 6 | arxiv |
| 38E5KKP6KX | statement | theorem 26 | arxiv |
| 3YQV7GZPMP | definition | definition 8 | arxiv |
| 421F91BG7Y | statement | proposition 8 | arxiv |
| 4AFRHC1P49 | statement | proposition 5 | arxiv |
| 4DM95N6YDP | statement | theorem 12 | arxiv |
| 4GZT40PE7Y | statement | fact 2 | arxiv |
| 52QY4575DD | statement | lemma 9 | arxiv |
| 5PG0TXPE0J | statement | corollary 4 | arxiv |
| 6F8HVD40B2 | statement | theorem 5 | arxiv |
| 79PA80D0J3 | definition | definition 21 | arxiv |
| 7G8XJHFTXC | statement | proposition 13 | arxiv |
| 7JDF953VMP | statement | proposition 4 | arxiv |
| Completeness | statement | theorem 18 | arxiv |
| 7MWDGB7SKY | statement | lemma 12 | arxiv |
| Completeness | statement | theorem 25 | arxiv |
| Soundness | statement | theorem 10 | arxiv |
| 8A8B83NRES | definition | definition 26 | arxiv |
| 8MF4BCTMBS | statement | lemma 11 | arxiv |
| 8PKFY3KA91 | statement | corollary 2 | arxiv |
| 8ZB1AXTD4Z | statement | lemma 14 | arxiv |
| 9418YP41KX | statement | theorem 4 | arxiv |
| 9DYWX8139E | statement | corollary 3 | arxiv |
| A3JZ5AYX5D | statement | proposition 21 | arxiv |
| AJ0T8EZ3Y3 | statement | proposition 1 | arxiv |
| Soundness and Completeness | statement | theorem 16 | arxiv |
| Completeness | statement | theorem 23 | arxiv |
| BF7S5GKYS2 | statement | proposition 23 | arxiv |
| BJRVY9BRZS | statement | proposition 12 | arxiv |
| BX20K2FC1M | statement | theorem 3 | arxiv |
| BXX10YAZ6M | statement | theorem 7 | arxiv |
| C4H2VQ9XE6 | definition | definition 3 | arxiv |
| Soundness | statement | theorem 20 | arxiv |
| CZPE5EX2EX | statement | theorem 19 | arxiv |
| Completeness | statement | theorem 11 | arxiv |
| DWTQQNWPRT | example | example 1 | arxiv |
| E5SBCCG24J | definition | definition 9 | arxiv |
| EXF3EJ69D9 | statement | proposition 17 | arxiv |
| EYAES4RF1B | statement | corollary 5 | arxiv |
| Representation theorem | statement | theorem 6 | arxiv |
| FAB6E59N68 | statement | proposition 16 | arxiv |
| FQ7TX6XN58 | statement | corollary 7 | arxiv |
| FSDHPHXQ2A | statement | lemma 4 | arxiv |
| GHC535MH60 | statement | proposition 10 | arxiv |
| GYSDB99ETD | statement | lemma 3 | arxiv |
| J3RRW89V2X | definition | definition 11 | arxiv |
| JA392NH4VB | statement | corollary 8 | arxiv |
| K0NYYWF2R6 | definition | definition 19 | arxiv |
| K2A4FM72Y0 | statement | lemma 13 | arxiv |
| K4P03DDEZE | definition | definition 20 | arxiv |
| KGRE91EGFD | definition | definition 25 | arxiv |
| Satisfaction and co-satisfaction | definition | definition 15 | arxiv |
| KZW8AXSPC7 | statement | fact 1 | arxiv |
| Soundness | statement | theorem 13 | arxiv |
| MCMWY4EZ42 | statement | proposition 9 | arxiv |
| MG2AZNB2QY | statement | lemma 1 | arxiv |
| Soundness | statement | theorem 17 | arxiv |
| Soundness | statement | theorem 24 | arxiv |
| Soundness | statement | theorem 22 | arxiv |
| NVDC66MK14 | statement | theorem 8 | arxiv |
| P3GK08SQM1 | statement | proposition 2 | arxiv |
| PEBETD2768 | statement | proposition 22 | arxiv |
| PS8A1C4MQ7 | definition | definition 24 | arxiv |
| R43FN1F3ED | statement | theorem 1 | arxiv |
| R46VMHR3A2 | statement | proposition 14 | arxiv |
| R9DEQT9SYD | statement | theorem 9 | arxiv |
| RCWT42HCYT | statement | lemma 2 | arxiv |
| RKQKTD6Q3F | definition | definition 4 | arxiv |
| RMQKXKC86Z | statement | lemma 6 | arxiv |
| RMXTP7WB9W | example | example 3 | arxiv |
| SGY4GH350Z | statement | lemma 7 | arxiv |
| SHJVDP2P66 | statement | proposition 7 | arxiv |
| SK6PD1KJ6R | statement | proposition 11 | arxiv |
| SQ2B2FCCM7 | statement | proposition 3 | arxiv |
| T3A22W9FHE | statement | proposition 24 | arxiv |
| T9RB4Y20W3 | definition | definition 17 | arxiv |
| TBT9MJAP7F | definition | definition 22 | arxiv |
| TF9BSGFTJZ | definition | definition 23 | arxiv |
| TWPB6S0MF0 | statement | theorem 2 | arxiv |
| V0448NC47E | example | example 2 | arxiv |
| VGPDPXVAFP | definition | definition 12 | arxiv |
| VH4BGSX5XG | definition | definition 2 | arxiv |
| VY864RYYPD | definition | definition 18 | arxiv |
| VZPB5Q0J0Z | definition | definition 13 | arxiv |
| W0SWKWEF34 | definition | definition 10 | arxiv |
| WJ7AYKY0WQ | definition | definition 1 | arxiv |
| Completeness | statement | theorem 21 | arxiv |
| WYFSA1WBMG | definition | definition 5 | arxiv |
| X206TAG0MM | definition | definition 16 | arxiv |
| Y3YNSNQ6YM | statement | lemma 5 | arxiv |
| Y95W7AZVD8 | statement | theorem 14 | arxiv |
| Z80VW5PDWD | statement | theorem 27 | arxiv |
| ZMHDC1A2DM | statement | proposition 6 | arxiv |
Catalogue records
- arxiv: 2207.11097 (work)
- arxiv_text: 2207.11097 (work)