The sufficient and necessary condition for Tarski's property in Lindenbaum's extensions

Bulletin of the Section of Logic 13 (4):222-224 (1984)
  Copy   BIBTEX

Abstract

The fall text of this paper will appear in Zeitschrift f¨ur mathematische Logik und Grundlagen der Mathematik. 0. The problem considered in this paper is connected with the wellknown Tarski’s theorem and concerns those systems which have only one Lindenbaum’s extension.

Categories

Add categories

Keywords

Reprint years

Other Versions

original Stepień, Teodor (1984) "A sufficient and necessary condition for Tarski's property in lindenbaum's extensions". Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 30(26‐29):447-453
reprint Stepień, Teodor (1984) "A Sufficient And Necessary Condition For Tarski's Property In Lindenbaum's Extensions". Mathematical Logic Quarterly 30(26-29):447-453

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
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 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.
Craig-godel-lindenbaum's property and sobocinski-tarski's property in propositional calculi.Teodor Stepien - 1981 - Bulletin of the Section of Logic 10 (3):116-120.
Lindenbaum's extensions.Andrzej Biela & Teodor Stepien - 1981 - Bulletin of the Section of Logic 10 (1):42-46.
Bull R. A.. A note on the modal calculi S4.2 and S4.3. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 , pp. 53–55.Bull R. A.. A class of extensions of the modal system S4 with the finite model property. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 11 , pp. 127–132.Bull R. A.. That all normal extensions of S4.3 have the finite model property. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 12 , pp. 341–344. [REVIEW]David Makinson - 1968 - Journal of Symbolic Logic 33 (1):136-136.
The strongly adequate matrices of the form of product of Lindenbaum's matrices.Jan Bernert - 1980 - Bulletin of the Section of Logic 9 (3):102-106.

Analytics

Added to PP
2017-02-23

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
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