Premium
A SUFFICIENT AND NECESSARY CONDITION FOR TARSKI'S PROPERTY IN LINDENBAUM'S EXTENSIONS
Author(s) -
Stepień Teodor
Publication year - 1984
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/malq.19840302606
Subject(s) - property (philosophy) , propositional calculus , computer science , calculus (dental) , mathematical economics , discrete mathematics , mathematics , philosophy , epistemology , medicine , dentistry
The fall text of this paper will appear in Zeitschrift fur mathematische Logik und Grundlagen der Mathematik. 0. The problem considered in this paper is connected with the well- known Tarski's theorem and concerns those systems which have only one Lindenbaum's extension. I. Let S be the set of formulas formed in the usual manner by means of the infinite set of propositional variables (At) and the connectives from the set 4. Let N, K, A, C, E denote negation, conjunction, disjunc- tion, implication and equivalence, respectively. We assume that C 2 4