A Sufficient And Necessary Condition For Tarski's Property In Lindenbaum's Extensions

Mathematical Logic Quarterly 30 (26-29):447-453 (1984)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19840302606

Links

PhilArchive



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

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 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.
The sufficient and necessary condition for Tarski's property in Lindenbaum's extensions.Teodor Stepien - 1984 - Bulletin of the Section of Logic 13 (4):222-224.
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.
Sufficient and Necessary Condition for the Completeness of a Calculus.H. Andréka, T. Gergely & I. Németi - 1974 - Mathematical Logic Quarterly 20 (28-29):433-434.
Sufficient and Necessary Condition for the Completeness of a Calculus.H. Andréka, T. Gergely & I. Németi - 1974 - Mathematical Logic Quarterly 20 (28‐29):433-434.
The f-factor Problem for Graphs and the Hereditary Property.Frank Niedermeyer, Saharon Shelah & Karsten Steffens - 2006 - Archive for Mathematical Logic 45 (6):665-672.
A generalization of lindenbaum's theorem for predicate calculi.Konrad Schultz - 1984 - Mathematical Logic Quarterly 30 (9‐11):165-168.
A Class of Extensions of the Modal System S4 with the Finite Model Property.R. A. Bull - 1965 - Mathematical Logic Quarterly 11 (2):127-132.
Church‐Rosser Property for Some Extensions of λβ‐Reducibility Relation.Andrei A. Kuzichev - 1991 - Mathematical Logic Quarterly 37 (33‐35):547-559.

Analytics

Added to PP
2017-02-21

Downloads
1 (#1,917,776)

6 months
1 (#1,720,529)

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