Pure Logic with Branched Quantifiers

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (1):45-48 (1989)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19890350106

Other Versions

original Mostowski, Marcin (1989) "Pure Logic with Branched Quantifiers". Mathematical Logic Quarterly 35(1):45-48

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,619

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

Pure Logic with Branched Quantifiers.Marcin Mostowski - 1989 - Mathematical Logic Quarterly 35 (1):45-48.
Mostowski Andrzej. Concerning a problem of H. Scholz. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, Bd. 2 , S. 210–214. [REVIEW]W. Ackermann - 1959 - Journal of Symbolic Logic 24 (3):241-241.
Andrzej Mostowski. An example of a non-axiomatizable many valued logic. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 72–76. [REVIEW]G. E. Minc, V. P. Orevkov & E. Mendelson - 1970 - Journal of Symbolic Logic 35 (1):143-143.
Akira Nakamura. A remark on the truth-value stipulation for the modal system M′. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 , pp. 11–14. - Akira Nakamura. On an axiomatic system of modal logic. Zeitschrift für mathematische Logik und Grundlagen der Mathematik vol. 14 , pp. 61–66. - R. A. Bull. On a paper of Akira Nakamura. Zeitschrift für mathematische Logik und Grundlagen der Mathematik vol. 15 , pp. 155–156. [REVIEW]M. K. Rennie - 1974 - Journal of Symbolic Logic 39 (2):351-351.

Analytics

Added to PP
2015-12-02

Downloads
40 (#542,112)

6 months
6 (#809,985)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Marcin Mostowski
Last affiliation: Jagiellonian University

Citations of this work

Decidability problems in languages with Henkin quantifiers.Michał Krynicki & Marcin Mostowski - 1992 - Annals of Pure and Applied Logic 58 (2):149-172.

Add more citations

References found in this work

Introduction to mathematical logic.Elliott Mendelson - 1964 - Princeton, N.J.,: Van Nostrand.
The incompleteness theorems.Craig Smorynski - 1977 - In Jon Barwise (ed.), Handbook of mathematical logic. New York: North-Holland. pp. 821 -- 865.
Infinistic Methods.L. Henkin - 1961 - Pergamon Press.

Add more references