A generalization of lindenbaum's theorem for predicate calculi

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 30 (9-11):165-168 (1984)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19840300905

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,590

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

A generalization of lindenbaum's theorem for predicate calculi.Konrad Schultz - 1984 - Mathematical Logic Quarterly 30 (9‐11):165-168.
On Number of Lindenbaum's Oversystems of Propositional and Predicate Calculi.Teodor Stepień - 1985 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 31 (21-23):333-344.
A Theory of Equality for a Class of Many-Valued Predicate Calculi.Charles G. Morgan - 1974 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 20 (25-27):427-432.
A Theorem on the Interrelationship of Axiom systems for Implicational Calculi.Biswambhar Pahi - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (8-11):165-167.
On an Axiomatic System of the Infinitely Many-Valued Threshold Predicate Calculi.Akira Nakamura - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (21):321-329.
A sufficient and necessary condition for Tarski's property in lindenbaum's extensions.Teodor Stepień - 1984 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 30 (26‐29):447-453.
Invariant Systems of Łukasiewicz Calculi.Marek Tokarz - 1974 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 20 (13-18):221-228.
Many-Valued Modal Propositional Calculi.Pascal Ostermann - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (4):343-354.
On Rosser's Provability Predicate.V. Yu Shavrukov - 1991 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37 (19-22):317-330.
Akira Nakamura. On an axiomatic system of the infinitely many-valued threshold logics. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 , pp. 71–76. - Akira Nakamura. On the infinitely many-valued threshold logics and von Wright's system M″. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 , pp. 147–164. - Akira Nakamura. A note on truth-value functions in the infinitely many-valued logics. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 , vol. 9 , pp. 141–144. - Akira Nakamura. On a simple axiomatic system of the infinitely many-valued logic based on ∧, →. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 , pp. 251–263. - Akira Nakamura. On an axiomatic system of the infinitely many-valued threshold predicate calculi. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 , pp. 321–239. - Akira Nakamura. Truth-value stipulations for the von Wright system M′ and the He. [REVIEW]Arto Salomaa - 1965 - Journal of Symbolic Logic 30 (3):374-375.

Analytics

Added to PP
2015-12-02

Downloads
27 (#142,020)

6 months
1 (#1,912,481)

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