Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Helman, Glen
1977.
Completeness of the normal typed fragment of the λ-system U.
Journal of Philosophical Logic,
Vol. 6,
Issue. 1,
p.
33.
Dunn, J. Michael
1987.
Relevant predication 1: The formal theory.
Journal of Philosophical Logic,
Vol. 16,
Issue. 4,
p.
347.