Biographies of Women Mathematicians
Home |
Alphabetical Index |
Chronological Index |
Resources |
Credits |
Search
Languages with Expressions of Infinite Length
University of Southern California, 1959
Table of Contents
- Implicative Models and Conjuntive Implicative Models
- Embedding Implicative Models in Conjunctive Implicative Models
- Embedding Conjunctive Implicative Models in Brouwerian Algebras
- A Formulation of Languages with WFFS of Infinite Length
- Infinitary Expressions
- Description of Languages Lαβ
- Free and Bound Variables, Substitution, in Lαβ
- Algebraically Complete Formalizations for Languages with WFFS of Infinite Length
- Formal Systems Pα(E), Fαβ(E)
- An Algebraic Characterization of Provability in Pα(E), Fαβ(E)
- An Algebraic Characterization of Provability in Systems Pα(E), Fαβ(E) with Negation
- Semantically Complete Formalizations for Languages with WFFS of Infinite Length
- Semantically Complete Formalizations for Languages Pα
- Formalizations for Pα and the Theory of α-complete Boolean Algebras
- Semantically Complete Formalizations for Languages Fαβ