• Publications
  • Influence
A LATTICE-THEORETICAL FIXPOINT THEOREM AND ITS APPLICATIONS
1. A lattice-theoretical fixpoint theorem. In this section we formulate and prove an elementary fixpoint theorem which holds in arbitrary complete lattices. In the following sections we give variousExpand
  • 2,792
  • 147
  • PDF
Boolean Algebras with Operators
  • 777
  • 63
A Decision Method For Elementary Algebra And Geometry
By a decision method for a class K of sentence (or other expressions) is meant a method by means of which, given any sentence θ, one can always decide in a finite number of steps whether θ is in K;Expand
  • 1,560
  • 59
The Algebra of Topology
  • 511
  • 51
On the Calculus of Relations
  • A. Tarski
  • Computer Science
  • J. Symb. Log.
  • 1 September 1941
TLDR
The logical theory which is called the calculus of (binary) relations , and which will constitute the subject of this paper, has had a strange and rather capricious line of historical development. Expand
  • 841
  • 47
  • PDF
A Formalization Of Set Theory Without Variables
The formalism $\mathcal L$of predicate logic The formalism $\mathcal L^+$, a definitional extension of $\mathcal L$ The formalism $\mathcal L^+$ without variables and the problem of its equipollenceExpand
  • 518
  • 46
Der Wahrheitsbegriff in den formalisierten Sprachen
  • 657
  • 38
Boolean Algebras with Operators. Part I
  • 654
  • 34
...
1
2
3
4
5
...