Cargando…
Methods and Applications of Mathematical Logic.
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Otros Autores: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Providence :
American Mathematical Society,
1988.
|
| Colección: | Contemporary Mathematics.
|
| Temas: | |
| Acceso en línea: | Texto completo |
Tabla de Contenidos:
- ""Contents""; ""Preface""; ""Introduction""; ""The scientific work of A.I. Arruda""; ""Section I � Foundations of set theory""; ""Reflection properties induced by some large cardinal axioms""; ""Taxonometric partitions""; ""Diamonds, large cardinals and ultrafilters""; ""Section II � Algebraic logic""; ""Constantes d'une alg�bre monadique libre sur une alg�bre de Boole et automophismes préservant une partie génératrice de celle-ci""; ""Ordered structures in the description of quantum systems: mathematical progress""; ""Section III � Philosophical aspects of mathematical logic""
- ""Infinities in mathematics and the natural sciences""""The 50th anniversary of Gentzen's thesis""; ""Section IV � Interactions between logic, mathematics and computer science""; ""Logics and pseudogroups""; ""Sets of relational systems as models for stochastic processes""; ""A general framework for semantics for propasotional logics""; ""Formal languages and topological spaces""; ""Automatic theorem proving: an attempt to improve readability of proofs generated by resolution""; ""The downward löwenheim-Skolem theorem for L-structures in Ω-sets""
- ""The derivative of truth in Å?ukasiewicz sentential calculus""""Equivalence relations on lattices and the complexity of the theory of permutations which commute""; ""Problem solving by interpretation of theories""