Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
van Dalen, D.
1973.
Cambridge Summer School in Mathematical Logic.
Vol. 337,
Issue. ,
p.
1.
Pottinger, Garrel
1976.
A new way of normalizing intuitionist propositional logic.
Studia Logica,
Vol. 35,
Issue. 4,
p.
387.
Hodges, W.A.
and
Kneebone, G.T.
1977.
Use of Mathematical Literature.
p.
78.
1991.
Language in Action - Categories, Lambdas and Dynamic Logic.
Vol. 130,
Issue. ,
p.
327.
Avigad, Jeremy
2001.
Algebraic proofs of cut elimination.
The Journal of Logic and Algebraic Programming,
Vol. 49,
Issue. 1-2,
p.
15.
van Dalen, Dirk
2017.
The Blackwell Guide to Philosophical Logic.
p.
224.
Castro-Manzano, J.-Martín
2020.
Distribution Tableaux, Distribution Models.
Axioms,
Vol. 9,
Issue. 2,
p.
41.
Castro-Manzano, J.-Martín
2021.
Traditional Logic and Computational Thinking.
Philosophies,
Vol. 6,
Issue. 1,
p.
12.
van Atten, Mark
2024.
The Architecture and Archaeology of Modern Logic.
Vol. 61,
Issue. ,
p.
417.