- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Works by Alfred Horn
20 found
Order:
- Logic with truth values in a linearly ordered Heyting algebra.Alfred Horn - 1969 - Journal of Symbolic Logic 34 (3):395-408.
- On sentences which are true of direct unions of algebras.Alfred Horn - 1951 - Journal of Symbolic Logic 16 (1):14-21.
- The separation theorem of intuitionist propositional calculus.Alfred Horn - 1962 - Journal of Symbolic Logic 27 (4):391-399.
- Logics Which Are Characterized by Subresiduated Lattices.George Epstein & Alfred Horn - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):199-210.
- Free l-algebras.Alfred Horn - 1969 - Journal of Symbolic Logic 34 (3):475-480.
- Logics Which Are Characterized by Subresiduated Lattices.George Epstein & Alfred Horn - 1976 - Mathematical Logic Quarterly 22 (1):199-210.
- Free ${\rm S}5$ algebras.Alfred Horn - 1978 - Notre Dame Journal of Formal Logic 19 (1):189-191.
- [Omnibus Review].Alfred Horn - 1968 - Journal of Symbolic Logic 33 (4):625-626.
- Anderson Frank W.. Function lattices. Lattice theory. Proceedings of symposia in pure mathematics, vol. 2 , pp. 198–202. [REVIEW]Alfred Horn - 1962 - Journal of Symbolic Logic 27 (1):98-99.
- C. C. Chang. Algebraization of infinitely many-valued logic. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 144–146. - C. C. Chang. Algebraic analysis of many valued logics. Transactions of the American Mathematical Society, vol. 88 , pp. 467–490. - C. C. Chang. A new proof of the completeness of the Łukasiewicz axioms. Transactions of the American Mathematical Society, vol. 93 , pp. 74–80. [REVIEW]Alfred Horn - 1971 - Journal of Symbolic Logic 36 (1):159-160.
- Daniel Ponasse. Mathematical logic. English translation of XXXV 579. Gordon and Breach Science Publishers, New York, London, and Paris, 1973, ix +126 pp. [REVIEW]Alfred Horn - 1976 - Journal of Symbolic Logic 41 (4):790-791.
- Jankov V. A.. Constructing a sequence of strongly independent superintuitionistic propositional calculi. English translation of XXXVII 206 by Yablonsky A.. Soviet mathematics, vol. 9 no. 4 , pp. 806–807.Jankov V. A.. The calculus of the weak “law of excluded middle.” English translation of XXXVII 206. Mathematics of the USSR—Izvestija , vol. 2 no. 5 , pp. 997–1004. [REVIEW]Alfred Horn - 1972 - Journal of Symbolic Logic 37 (1):186-186.
- Kiyoshi Iséki. Algebraic formulations of propositional calculi. Proceedings of the Japan Academy, vol. 41 , pp. 803–807. - Kiyoshi Iséki. Axiom systems of B-algebra. Proceedings of the Japan Academy, vol. 41 , pp. 808–811. - Kiyoshi Iséki. A characterization of Boolean algebra. Proceedings of the Japan Academy, vol. 41 , pp. 893–897. - Yoshinari Arai and Kiyoshi Iséki. Axiom systems of B-algebra. II. Proceedings of the Japan Academy, vol. 41 , pp. 908–910. [REVIEW]Alfred Horn - 1969 - Journal of Symbolic Logic 33 (4):625-626.
- Review: C.C. Chang, Algebraization of Infinitely Many-Valued Logic; C. C. Chang, Algebraic Analysis of Many Valued Logics; C. C. Chang, A New Proof of the Completeness of the Lukasiewicz Axioms. [REVIEW]Alfred Horn - 1971 - Journal of Symbolic Logic 36 (1):159-160.
- Review: Daniel Ponasse, Mathematical Logic. [REVIEW]Alfred Horn - 1976 - Journal of Symbolic Logic 41 (4):790-791.
- Review: Frank W. Anderson, Function Lattices. [REVIEW]Alfred Horn - 1962 - Journal of Symbolic Logic 27 (1):98-99.
- Rasiowa H. and Sikorski R.. On the isomorphism of Lindenbaum algebras with fields of sets. Colloquium mathematicum, vol. 5 , pp. 143–158. [REVIEW]Alfred Horn - 1962 - Journal of Symbolic Logic 27 (1):98-98.
- Review: V. A. Jankov, Constructing a Sequence of Strongly Independent Superintuitionistic Propositional Calculi; V. A. Jankov, The Calculus of the weak "law of excluded Middle.". [REVIEW]Alfred Horn - 1972 - Journal of Symbolic Logic 37 (1):186-186.
- Tsutomu Hosoi. Algebraic proof of the separation theorem on classical propositional calculus. Proceedings of the Japan Academy, vol. 42 , pp. 67–69. - Tsutomu Hosoi. Algebraic proof of the separation theorem on Dummett's LC. Proceedings of the Japan Academy, vol. 42 , pp. 693–695. [REVIEW]Alfred Horn - 1968 - Journal of Symbolic Logic 33 (1):128-129.
- Tsutomu Hosoi. On the separation theorem of intermediate propositional calculi. Proceedings of the Japan Academy of Sciences, vol. 42 , pp. 535–538. - Tsutomu Hosoi. The separable axiomatization of the intermediate propositional systems Sn of Gödei. Proceedings of the Japan Academy of Sciences, vol. 42 , pp. 1001–1006. [REVIEW]Alfred Horn - 1969 - Journal of Symbolic Logic 34 (3):505.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-5ff6c685cb-cc9fg uwo