Some Interconnections Between Modern Algebra and Mathematical Logic

Journal of Symbolic Logic 20 (2):183-184 (1955)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2266936

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,628

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: Leon Henkin, Some Interconnections Between Modern Algebra and Mathematical Logic. [REVIEW]Andrzej Mostowski - 1955 - Journal of Symbolic Logic 20 (2):183-184.
Hyper-Archimedean BL-algebras are MV-algebras.Esko Turunen - 2007 - Mathematical Logic Quarterly 53 (2):170-175.
19th century logic between philosophy and mathematics.Volker Peckhaus - 1999 - Bulletin of Symbolic Logic 5 (4):433-450.
Elementary topics in mathematical logic.Alonzo Church - 1942 - Brooklyn, N.Y. [Brooklyn,: Brooklyn, N.Y. [Brooklyn.
Model Theory of Algebra and Arithmetic: Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic Held at Karpacz,Poland, September 1-7, 1979.L. Pacholski, Jędrzej Wierzejewski, J. Wierzejewski & A. J. Wilkie - 1980 - Lecture Notes in Mathematics.
Approximation Logic and Strong Bunge Algebra.Michiro Kondo - 1995 - Notre Dame Journal of Formal Logic 36 (4):595-605.
Well‐Defined Fuzzy Sentential Logic.Esko Turunen - 1995 - Mathematical Logic Quarterly 41 (2):236-248.
The universal group of a Heyting effect algebra.David J. Foulis - 2006 - Studia Logica 84 (3):407 - 424.
The mathematical origins of nineteenth-century algebra of logic.Volker Peckhaus - 2011 - In Leila Haaparanta (ed.), The development of modern logic. New York: Oxford University Press. pp. 159.
Algebra and logic: papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia.John N. Crossley (ed.) - 1975 - New York: Springer Verlag.
n‐linear weakly Heyting algebras.Sergio A. Celani - 2006 - Mathematical Logic Quarterly 52 (4):404-416.
La structure algébrique des théories mathématiques.Leon Henkin - 1956 - E. Nauwelaerts.
Logic, Algebra, and Databases.Peter M. D. Gray - 1984 - Ellis Horwood.
Augustus De Morgan's Boolean Algebra.Daniel D. Merrill - 2005 - History and Philosophy of Logic 26 (2):75-91.
Comprehension contradicts to the induction within Łukasiewicz predicate logic.Shunsuke Yatabe - 2009 - Archive for Mathematical Logic 48 (3-4):265-268.

Analytics

Added to PP
2015-02-05

Downloads
9 (#1,248,077)

6 months
1 (#1,461,875)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references