RECORD
Proceedings Fifth International Workshop on Classical Logic and Computation
Logic in Computer Science · Submitted 9 Sep 2014
abstract compiled · 2026-09-23 · no language-model review
The authors' main claim Its focus is on the exploration of the computational content of mathematical and logical principles, aiming to bring together researchers from both fields and exchange ideas.
The compiled record
The paper's own sentences, arranged. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.
Open the compiled record
The abstract, sentence by sentence
Classical Logic and Computation (CL&C) 2014 is the fifth edition of this workshop series. The workshop series intends to cover all work aiming to explore computational aspects of classical logic and mathematics. Its focus is on the exploration of the computational content of mathematical and logical principles, aiming to bring together researchers from both fields and exchange ideas. In this fifth edition we received 18 submissions of both short and full papers. Fourteen (14) of these were selected to present at the meeting in Vienna, and six (6) full papers were accepted to appear at this ETPCS special volume. Topics covered by this years submissions included: translations of classical to intuitionistic proofs, witness extraction from classical proofs, confluence properties for classical systems, linear logic, constructive semantics for classical logic (game semantics, realizability), and the study of calculi based on classical logic (lambda-mu-calculus, continuation calculus).
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | Classical Logic and Computation (CL&C) 2014 is the fifth edition of this workshop series. | background 1.00 | 0.12 | 0.03 | asserted 1.00 |
| s1 | The workshop series intends to cover all work aiming to explore computational aspects of classical logic and mathematics. | background 0.98 | 0.08 | 0.03 | asserted 0.98 |
| s2 | Its focus is on the exploration of the computational content of mathematical and logical principles, aiming to bring together researchers from both fields and exchange ideas. | background 0.96 | 0.07 | 0.04 | asserted 0.99 |
| s3 | In this fifth edition we received 18 submissions of both short and full papers. | background 0.35 | 0.78 | 0.02 | asserted 1.00 |
| s4 | Fourteen (14) of these were selected to present at the meeting in Vienna, and six (6) full papers were accepted to appear at this ETPCS special volume. | result 0.62 | 0.78 | 0.04 | asserted 1.00 |
| s5 | Topics covered by this years submissions included: translations of classical to intuitionistic proofs, witness extraction from classical proofs, confluence properties for classical systems, linear logic, constructive semantics for classical logic (game semantics, realizability), and the study of calculi based on classical logic (lambda-mu-calculus, continuation calculus). | contribution 0.61 | 0.42 | 0.04 | asserted 1.00 |
What was examined, and what was not
- arXiv listing abstract v1
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
The paper
Original abstract
Classical Logic and Computation (CL&C) 2014 is the fifth edition of this workshop series. The workshop series intends to cover all work aiming to explore computational aspects of classical logic and mathematics. Its focus is on the exploration of the computational content of mathematical and logical principles, aiming to bring together researchers from both fields and exchange ideas. In this fifth edition we received 18 submissions of both short and full papers. Fourteen (14) of these were selected to present at the meeting in Vienna, and six (6) full papers were accepted to appear at this ETPCS special volume. Topics covered by this years submissions included: translations of classical to intuitionistic proofs, witness extraction from classical proofs, confluence properties for classical systems, linear logic, constructive semantics for classical logic (game semantics, realizability), and the study of calculi based on classical logic (lambda-mu-calculus, continuation calculus).
Human review
Discussion
Know something about this paper? Leave a comment, or highlight any passage above to comment on it.