Menger Karl. Tri-operational algebra. Reports of a mathematical colloquium, issue 5-6 , pp. 3–10.Brown Ferdinand L.. Remarks concerning tri-operational algebra. Reports of a mathematical colloquium, issue 5-6 , pp. 11–15.Hempel Carl G.. Studies in the logic of confirmation. Mind, n.s. vol. 54 , pp. 1–26, 97-121 [Book Review]

Journal of Symbolic Logic 10 (3):104-104 (1945)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2267033

Links

PhilArchive



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

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: Karl Menger, Tri-Operational Algebra; Ferdinand L. Brown, Remarks Concerning Tri-Operational Algebra; Carl G. Hempel, Studies in the Logic of Confirmation. [REVIEW]Max Black - 1945 - Journal of Symbolic Logic 10 (3):104-104.
Mender Karl. A logic of the doubtful. On optative and imperative logic. Reports of a mathematical colloquium , ser. 2 no. 1 , pp. 53–64. [REVIEW]Frederic B. Fitch - 1940 - Journal of Symbolic Logic 5 (1):40-40.
On substitutive algebra and its syntax.Karl Menger - 1964 - Mathematical Logic Quarterly 10 (6‐7):81-104.
Hyper-Archimedean BL-algebras are MV-algebras.Esko Turunen - 2007 - Mathematical Logic Quarterly 53 (2):170-175.
Operational Independence and Operational Separability in Algebraic Quantum Mechanics.Miklós Rédei - 2010 - Foundations of Physics 40 (9-10):1439-1449.
Sets, Models and Recursion Theory Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965.John N. Crossley & Logic Colloquium - 1967 - North-Holland.
The Basic Concepts of Mathematics. A Companion to Current Textbooks on Algebra and Analytic Geometry. Part I. Algebra.Karl Menger - 1960 - Journal of Symbolic Logic 25 (2):158-160.
Logic Colloquium '69 Proceedings of the Summer School and [Fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969.Robin Oliver Gandy & Charles Michael Edmund Yates (eds.) - 1971 - Amsterdam, Netherlands: North-Holland.
Subalgebras of a finite monadic Boolean Algebra.Luiz Monteiro, Manuel Abad, Sonia Savini, Julio Sewald & Marta Zander - 2006 - Reports on Mathematical Logic:199-206.
Elementary topics in mathematical logic.Alonzo Church - 1942 - Brooklyn, N.Y. [Brooklyn,: Brooklyn, N.Y. [Brooklyn.
Reminiscences of the Vienna Circle and the Mathematical Colloquium by Karl Menger; Louise Golland; Brian McGuinness; Abe Sklar. [REVIEW]Michael Friedman - 1995 - Isis 86:675-676.
The universal group of a Heyting effect algebra.David J. Foulis - 2006 - Studia Logica 84 (3):407 - 424.
Feferman Solomon. A language and axioms for explicit mathematics. Algebra and logic, Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia, edited by Crossley J. N., Lecture notes in mathematics, vol. 450, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 87–139.Feferman Solomon. Constructive theories of functions and classes. Logic colloquium '78, Proceedings of the colloquium held in Mons, August 1978, edited by Boffa Maurice, van Dalen Dirk, and McAloon Kenneth, Studies in logic and the foundations of mathematics, vol. 97, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1979, pp. 159–224. [REVIEW]G. R. Renardel de Lavalette & A. S. Troelstra - 1984 - Journal of Symbolic Logic 49 (1):308-311.
n‐linear weakly Heyting algebras.Sergio A. Celani - 2006 - Mathematical Logic Quarterly 52 (4):404-416.
Logic Colloquium, 1988: Proceedings of the Colloquium, Padova, Italy, 22-31 August 1988.Ruggero Ferro - 1989 - North Holland.

Analytics

Added to PP
2016-06-30

Downloads
8 (#1,318,299)

6 months
4 (#790,347)

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