Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Dosen, Kosta
2006.
Models of Deduction*.
Synthese,
Vol. 148,
Issue. 3,
p.
639.
Restall, Greg
2006.
Logic and the Modalities in the Twentieth Century.
Vol. 7,
Issue. ,
p.
289.
Méhats, L.
and
Soloviev, S.
2007.
Coherence in smccs and equivalences on derivations in imll with unit.
Annals of Pure and Applied Logic,
Vol. 147,
Issue. 3,
p.
127.
Došen, Kosta
2015.
Dag Prawitz on Proofs and Meaning.
Vol. 7,
Issue. ,
p.
147.
Došen, Kosta
2016.
Advances in Proof-Theoretic Semantics.
Vol. 43,
Issue. ,
p.
65.
Pezlar, Ivo
2020.
Composition of Deductions within the Propositions-As-Types Paradigm.
Logica Universalis,
Vol. 14,
Issue. 4,
p.
481.
Franks, Curtis
2021.
The Deduction Theorem (Before and After Herbrand).
History and Philosophy of Logic,
Vol. 42,
Issue. 2,
p.
129.