Find a copy online
Links to this item
Find a copy in the library
Finding libraries that hold this item...
|Genre/Form:||Conference papers and proceedings
|Material Type:||Conference publication, Internet resource|
|Document Type:||Book, Internet Resource|
|All Authors / Contributors:||
Walter A Carnielli; Luiz Paulo de Alcantara; Sociedade Brasileira de Lógica.; Sociedade Brasileira de Matemática.; Association for Symbolic Logic.
|Notes:||Sponsored by the Sociedade Brasileira de Lógica, Sociedade Brasileira de Matemática, and the Association for Symbolic Logic.|
|Description:||xi, 250 pages ; 25 cm.|
|Contents:||The scientific work of A. I. Arruda by N. C. A. da Costa and L. P. de Alcantara Section I - Foundations of set theory: Reflection properties induced by some large cardinal axioms by C. A. Di Prisco and W. Marek Taxonometric partitions by A. Ehrenfeucht, M. Foreman, and J. Malitz Diamonds, large cardinals, and ultrafilters by A. Kanamori Section II - Algebraic logic: Constantes d'une algebre monadique libre sur une algebre de Boole et automorphismes, preeservant une partie generatrice de celle-ci by M. Guillaume Ordered structures in the description of quantum systems: mathematical progress by L. Iturrioz Section III - Philosophical aspects of mathematical logic: Infinities in mathematics and the natural sciences by J. E. Fenstad The 50th anniversary of Gentzen's thesis by A. R. Raggio Section IV - Interactions between logic, mathematics, and computer science: Logics and pseudogroups by X. Caicedo and A. M. Sette Sets of relational systems as models for stochastic processes by R. Chuaqui A general framework for semantics for propositional logics by R. L. Epstein Formal languages and topological spaces by J. Flum Automatic theorem proving: an attempt to improve readability of proofs generated by resolution by E. H. Haeusler The downward Lowenheim-Skolem theorem for L-structure in $\Omega$-sets by F. Miraglia The derivative of truth in Lukasiewicz sentential calculus by D. Mundici Equivalence relations on lattices and the complexity of the theory of permutations which commute by J. Stern Problem solving by interpretation of theories by P. A. S. Veloso.|
|Series Title:||Contemporary mathematics (American Mathematical Society), v. 69.|
|Responsibility:||Walter A. Carnielli and Luiz Paulo de Alcantara, editors.|