Alfred Horn

Publication Activity (10 Years)

Years Active: 1951-1978
Publications (10 Years): 0

Publications

Alfred Horn
Free S5 algebras. Notre Dame J. Formal Log. 19 (1) (1978)
George Epstein, Alfred Horn
Logics Which Are Characterized by Subresiduated Lattices. Math. Log. Q. 22 (1) (1976)
Alfred Horn
Free L-Algebras. J. Symb. Log. 34 (3) (1969)
Alfred Horn
Logic with Truth Values in a Linearly Ordered Heyting Algebra. J. Symb. Log. 34 (3) (1969)
Alfred Horn
The Separation Theorem of Intuitionist Propositional Calculus. J. Symb. Log. 27 (4) (1962)
Alfred Horn
On Sentences Which are True of Direct Unions of Algebras. J. Symb. Log. 16 (1) (1951)