Aleksandar Kron

Publication Activity (10 Years)

Years Active: 1972-1987
Publications (10 Years): 0

Publications

Steve Giambrone, Aleksandar Kron
Four relevant Gentzen systems. Stud Logica 46 (1) (1987)
Aleksandar Kron
A Constructive Proof of a Theorem in Relevance Logic. Math. Log. Q. 31 (25-28) (1985)
Aleksandar Kron
Deduction Theorems for T, E and R Reconsidered. Math. Log. Q. 22 (1) (1976)
Aleksandar Kron
Erratum: "A note on E". Notre Dame J. Formal Log. 15 (4) (1974)
Aleksandar Kron
A note on E. Notre Dame J. Formal Log. 13 (3) (1972)