Login / Signup
James Trafford
ORCID
Publication Activity (10 Years)
Years Active: 2016-2017
Publications (10 Years): 2
Top Topics
Sequent Calculus
Automated Theorem Proving
Mathematical Knowledge
Search Procedure
Top Venues
Logica Universalis
</>
Publications
</>
Fabien Schang
,
James Trafford
Is 'No' a Force-Indicator? Yes, Sooner or Later!
Logica Universalis
11 (2) (2017)
James Trafford
Structuring Co-constructive Logic for Proofs and Refutations.
Logica Universalis
10 (1) (2016)