| |
| 1969 | ||
|---|---|---|
| 4 | Alfred Horn: Logic with Truth Values in a Linearly Ordered Heyting Algebra. J. Symb. Log. 34(3): 395-408 (1969) | |
| 3 | Alfred Horn: Free L-Algebras. J. Symb. Log. 34(3): 475-480 (1969) | |
| 1962 | ||
| 2 | Alfred Horn: The Separation Theorem of Intuitionist Propositional Calculus. J. Symb. Log. 27(4): 391-399 (1962) | |
| 1951 | ||
| 1 | Alfred Horn: On Sentences Which are True of Direct Unions of Algebras. J. Symb. Log. 16(1): 14-21 (1951) | |