Aleksandar Kron

According to our database, Aleksandar Kron authored at least 5 papers between 1972 and 1987.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

1987

Four relevant Gentzen systems.

Steve Giambrone, Aleksandar Kron

Stud Logica, 1987

1985

A Constructive Proof of a Theorem in Relevance Logic.

Aleksandar Kron

Math. Log. Q., 1985

1976

Deduction Theorems for T, E and R Reconsidered.

Aleksandar Kron

Math. Log. Q., 1976

1974

Erratum: "A note on E".

Aleksandar Kron

Notre Dame J. Formal Log., 1974

1972

A note on E.

Aleksandar Kron

Notre Dame J. Formal Log., 1972