Interpolation and amalgamation properties in varieties of equivalential algebras

Important positive as well as negative results on interpolation property in fragments of the intuitionistic propositional logic (INT) were obtained by J. I. Zucker in [6]. He proved that the interpolation theorem holds in purely implicational fragment of INT. He also gave an example of a fragment of INT for which interpolation fails. This fragment is determined by the constant falsum (), well known connectives: implication () and conjunction (), and by a ternary connective defined as follows: (p, q, r)= ^df (pq)(pr).Extending this result of J. I. Zucker, G. R. Renardel de Lavalette proved in [5] that there are continuously many fragments of INT without the interpolation property.This paper is meant to continue the research mentioned above. To be more precise, its aim is to answer questions concerning interpolation and amalgamation properties in varieties of equivalential algebras, particularly in the variety determined by the purely equivalential fragment of INT.     

Q-ultrafilters and normal ultrafilters in B-algebras

The first part of the paper deals with some subclasses of B-algebras and their applications to the semantics of SCI _B , the Boolean strengthening of the sentential calculus with identity (SCI). In the second part a generalization of the McKinsey-Tarski construction of well-connected topological Boolean, algebras to the class of B-algebras is given.     

Ideal objects as models in science

Three main concepts of model in science are distinguished: (1) semantical model of a theory; (2) real model of another real thing; (3) mathematical model of a real thing. The last concept is the most important for the empirical sciences. The mathematical model is not identical with a theory: it is an ideal object which is directly described by the theory. We have here an intermediate level between reality and theory.     

From the Profession

Studies in East European Thought -     

Three contributions to the two-valued propositional calculus

Summary Three chapters contain the results independent of each other. In the first chapter I present a set of axioms for the propositional calculus which are shorter than the ones known so far, in the second one I give a method of defining all ternary connectives, in the third one, I prove that the probability of propositional functions is preserved under reversible substitutions. This paper appeard orginally under the title “Trois contributions an calcul des propositions bivalent” inStudia Societatis Scientiarum Torunensis, Toruń, Polonia, Sectio A, vol. I (1948), pp. 3–15.     

Concerning axiomatizability of the quasivariety generated by a finite Heyting or topological Boolean algebra

In classes of algebras such as lattices, groups, and rings, there are finite algebras which individually generate quasivarieties which are not finitely axiomatizable (see [2], [3], [8]). We show here that this kind of algebras also exist in Heyting algebras as well as in topological Boolean algebras. Moreover, we show that the lattice join of two finitely axiomatizable quasivarieties, each generated by a finite Heyting or topological Boolean algebra, respectively, need not be finitely axiomatizable. Finally, we solve problem 4 asked in Rautenberg [10].     

Systemy S4 I S5 Lewisa a spójnik identyczności

Allatum est die 28 Septembris 1970