Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
2014.
Proof Theory.
Vol. 20144468,
Issue. ,
p.
364.
Bimbó, Katalin
and
Michael Dunn, J.
2014.
Extracting BB′IW Inhabitants of Simple Types From Proofs in the Sequent Calculus $${LT_\to^{t}}$$ L T → t for Implicational Ticket Entailment.
Logica Universalis,
Vol. 8,
Issue. 2,
p.
141.
Schmitz, Sylvain
2014.
Rewriting and Typed Lambda Calculi.
Vol. 8560,
Issue. ,
p.
395.
Bimbó, Katalin
2015.
Current Trends in Substructural Logics.
Journal of Philosophical Logic,
Vol. 44,
Issue. 6,
p.
609.
SCHMITZ, SYLVAIN
2016.
IMPLICATIONAL RELEVANCE LOGIC IS 2-EXPTIME-COMPLETE.
The Journal of Symbolic Logic,
Vol. 81,
Issue. 2,
p.
641.
Larchey-Wendling, Dominique
2018.
Automated Reasoning.
Vol. 10900,
Issue. ,
p.
422.
Larchey-Wendling, Dominique
2020.
Constructive Decision via Redundancy-Free Proof-Search.
Journal of Automated Reasoning,
Vol. 64,
Issue. 7,
p.
1197.