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.
The decidability of the intensional fragment of classical linear logic.
Theoretical Computer Science,
Vol. 597,
Issue. ,
p.
1.
Bimbó, Katalin
2015.
Current Trends in Substructural Logics.
Journal of Philosophical Logic,
Vol. 44,
Issue. 6,
p.
609.
Badia, Guillermo
2016.
A Lindström-style theorem for finitary propositional weak entailment languages with absurdity.
Logic Journal of IGPL,
Vol. 24,
Issue. 2,
p.
115.
Ilić, Mirjana
2016.
An alternative Gentzenisation of RW+∘.
Mathematical Logic Quarterly,
Vol. 62,
Issue. 6,
p.
465.
Bimbó, Katalin
2016.
Some relevance logics from the point of view of relational semantics.
Logic Journal of IGPL,
Vol. 24,
Issue. 3,
p.
268.
Bimbó, Katalin
2017.
Automated Reasoning with Analytic Tableaux and Related Methods.
Vol. 10501,
Issue. ,
p.
44.
Dawson, Jeremy E.
and
Goré, Rajeev
2017.
Automated Reasoning with Analytic Tableaux and Related Methods.
Vol. 10501,
Issue. ,
p.
347.
Bimbó, Katalin
2018.
Logic, Language, Information, and Computation.
Vol. 10944,
Issue. ,
p.
1.
Larchey-Wendling, Dominique
2018.
Automated Reasoning.
Vol. 10900,
Issue. ,
p.
422.
Bimbó, Katalin
and
Dunn, J. Michael
2018.
Larisa Maksimova on Implication, Interpolation, and Definability.
Vol. 15,
Issue. ,
p.
33.
Larchey-Wendling, Dominique
2020.
Constructive Decision via Redundancy-Free Proof-Search.
Journal of Automated Reasoning,
Vol. 64,
Issue. 7,
p.
1197.
Bimbó, Katalin
2021.
IN MEMORIAM: J. MICHAEL DUNN, 1941–2021.
The Bulletin of Symbolic Logic,
Vol. 27,
Issue. 4,
p.
519.
Bimbó, Katalin
and
Dunn, Jon Michael
2024.
Saul Kripke on Modal Logic.
Vol. 30,
Issue. ,
p.
121.