Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Francez, Nissim
2014.
Harmony in Multiple-Conclusion Natural-Deduction.
Logica Universalis,
Vol. 8,
Issue. 2,
p.
215.
Francez, Nissim
2016.
Views of proof-theoretic semantics: reified proof-theoretic meanings.
Journal of Logic and Computation,
Vol. 26,
Issue. 2,
p.
479.