IMPLICATIONAL RELEVANCE LOGIC IS 2-EXPTIME-COMPLETE. (22nd January 2016)
- Record Type:
- Journal Article
- Title:
- IMPLICATIONAL RELEVANCE LOGIC IS 2-EXPTIME-COMPLETE. (22nd January 2016)
- Main Title:
- IMPLICATIONAL RELEVANCE LOGIC IS 2-EXPTIME-COMPLETE
- Authors:
- SCHMITZ, SYLVAIN
- Abstract:
- Abstract: We show that provability in the implicational fragment of relevance logic is complete for doubly exponential time, using reductions to and from coverability in branching vector addition systems.
- Is Part Of:
- Journal of symbolic logic. Volume 81:Number 2(2016)
- Journal:
- Journal of symbolic logic
- Issue:
- Volume 81:Number 2(2016)
- Issue Display:
- Volume 81, Issue 2 (2016)
- Year:
- 2016
- Volume:
- 81
- Issue:
- 2
- Issue Sort Value:
- 2016-0081-0002-0000
- Page Start:
- 641
- Page End:
- 661
- Publication Date:
- 2016-01-22
- Subjects:
- Relevance logic, -- branching VASS, -- focusing proofs, -- complexity
Logic, Symbolic and mathematical -- Periodicals
511.3 - Journal URLs:
- http://www.aslonline.org/journals-journal.html ↗
http://www.jstor.org/journals/00224812.html ↗ - DOI:
- 10.1017/jsl.2015.7 ↗
- Languages:
- English
- ISSNs:
- 0022-4812
- Deposit Type:
- Legaldeposit
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD Digital store
- Ingest File:
- 90.xml