Intuitionistic proofs without syntax
- Submitting institution
-
The University of Bath
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 193255556
- Type
- E - Conference contribution
- DOI
-
10.1109/LICS.2019.8785827
- Title of conference / published proceedings
- 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019
- First page
- 1
- Volume
- 2019-June
- Issue
- -
- ISSN
- 1043-6871
- Open access status
- Exception within 3 months of publication
- Month of publication
- August
- Year of publication
- 2019
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
2
- Research group(s)
-
-
- Citation count
- -
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- A transposition of Hughes' seminal "Proofs without Syntax" (Annals of Mathematics, 2006), on graphical semantics of classical logic, to intuitionistic logic. On this domain, the work unifies proof nets and game semantics, two prominent areas of semantics that arose with the arrival of linear logic in the late 1980s.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -