Alfred Horn

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

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)

	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)

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page