Alfred Horn

Affiliations:

University of California, Los Angeles, USA

According to our database¹, Alfred Horn authored at least 6 papers between 1951 and 1978.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

1978

Free S5 algebras.

[BibT_eX]

[DOI]

Alfred Horn

Notre Dame J. Formal Log., 1978

1976

Logics Which Are Characterized by Subresiduated Lattices.

[BibT_eX]

[DOI]

George Epstein

Alfred Horn

Math. Log. Q., 1976

1969

Free L-Algebras.

[BibT_eX]

[DOI]

Alfred Horn

J. Symb. Log., 1969

Logic with Truth Values in a Linearly Ordered Heyting Algebra.

[BibT_eX]

[DOI]

Alfred Horn

J. Symb. Log., 1969

1962

The Separation Theorem of Intuitionist Propositional Calculus.

[BibT_eX]

[DOI]

Alfred Horn

J. Symb. Log., 1962

1951

On Sentences Which are True of Direct Unions of Algebras.

[BibT_eX]

[DOI]

Alfred Horn

J. Symb. Log., 1951

Alfred Horn

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...