On Number of Lindenbaum's Oversystems of Propositional and Predicate Calculi

Mathematical Logic Quarterly 31 (21‐23):333-344 (1985)
  Copy   BIBTEX

Abstract

The present paper is a continuation of [6] and [7]. Thus the content of this paper is the following. At first we establish properties of systems S 2 n and S 2∗ n , where systems S 2 n and S 2∗ n are extensions of Rasiowa-S lupecki’s systems Sn and S ∗ n . Then we shall show that for every cardinal number m there exist a system ST 4 m of propositional calculus and a system SP 4 m of predicate calculus such that the system ST 4 m has exactly m Lindenbaum’s oversystems and the system SP 4 m has exactly m Lindenbaum’s oversystems, where 1 ≤ m ≤ 2 ℵ0

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,757

External links

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

Through your library

Similar books and articles

Lindenbaum's extensions.Andrzej Biela & Teodor Stepien - 1981 - Bulletin of the Section of Logic 10 (1):42-46.
Relation algebras from cylindric algebras, II.Robin Hirsch & Ian Hodkinson - 2001 - Annals of Pure and Applied Logic 112 (2-3):267-297.
M-valued sub-system of (m+n)-valued propositional calculus.Tzu-Hua Hoo - 1949 - Journal of Symbolic Logic 14 (3):177-181.

Analytics

Added to PP
2013-12-01

Downloads
16 (#1,201,099)

6 months
7 (#736,605)

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

Grundzüge der theoretischen Logik.D. Hilbert & W. Ackermann - 1928 - Annalen der Philosophie Und Philosophischen Kritik 7:157-157.
Grundzüge der theoretischen logik.David Hilbert - 1928 - Berlin,: G. Springer. Edited by Wilhelm Ackermann.

Add more references