Mathematical Logic in Latin America, Proceedings of the IV Latin American Symposium on Mathematical Logic - Studies in Logic and the Foundations of Mathematics
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Elsevier

9780444854025

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Toward A Concept of Scientific Theory Through Special Relativity

Mathematical Logic in Latin America, Proceedings of the IV Latin American Symposium on Mathematical Logic - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(09)70479-3 ◽

1980 ◽

pp. 57-72

Author(s):

Jorge E. Bosch

Keyword(s):

Special Relativity ◽

Scientific Theory

Download Full-text

Copyright Page

Mathematical Logic in Latin America, Proceedings of the IV Latin American Symposium on Mathematical Logic - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(09)70473-2 ◽

1980 ◽

pp. iv

Download Full-text

A survey of Paraconsistent Logic ()

Mathematical Logic in Latin America, Proceedings of the IV Latin American Symposium on Mathematical Logic - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(09)70477-x ◽

1980 ◽

pp. 1-41 ◽

Cited By ~ 23

Author(s):

Ayda I. Arruda

Keyword(s):

Paraconsistent Logic

Download Full-text

Program of the Symposium

Mathematical Logic in Latin America, Proceedings of the IV Latin American Symposium on Mathematical Logic - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(09)70476-8 ◽

1980 ◽

pp. ix-x

Download Full-text

Topological Duality Theory in Algebraic Logic

Mathematical Logic in Latin America, Proceedings of the IV Latin American Symposium on Mathematical Logic - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(09)70490-2 ◽

1980 ◽

pp. 255-266

Author(s):

Charles C. Pinter

Keyword(s):

Duality Theory ◽

Algebraic Logic ◽

Topological Duality

Download Full-text

On Pcd(A) - Classes for an Admissible Set A

Mathematical Logic in Latin America, Proceedings of the IV Latin American Symposium on Mathematical Logic - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(09)70496-3 ◽

1980 ◽

pp. 377-392

Author(s):

Robert Vaught

Keyword(s):

Admissible Set

Download Full-text

Back-and-Forth Systems for Arbitrary Quantifiers

Mathematical Logic in Latin America, Proceedings of the IV Latin American Symposium on Mathematical Logic - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(09)70481-1 ◽

1980 ◽

pp. 83-102 ◽

Cited By ~ 3

Author(s):

Xavier Caicedo

Download Full-text

On Strong Axioms of Induction in Set Theory and Arithmetic

Mathematical Logic in Latin America, Proceedings of the IV Latin American Symposium on Mathematical Logic - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(09)70478-1 ◽

1980 ◽

pp. 43-56 ◽

Cited By ~ 1

Author(s):

Miroslav Benda

Keyword(s):

Set Theory

Download Full-text

Foundations of Statistical Methods Using A Semantical Definition of Probability

Mathematical Logic in Latin America, Proceedings of the IV Latin American Symposium on Mathematical Logic - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(09)70482-3 ◽

1980 ◽

pp. 103-120 ◽

Cited By ~ 2

Author(s):

Rolando Chuaqui

Keyword(s):

Statistical Methods ◽

Definition Of ◽

Semantical Definition

Download Full-text

A Model-Theoretical Approach to Variable Binding Term Operators ()

Mathematical Logic in Latin America, Proceedings of the IV Latin American Symposium on Mathematical Logic - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(09)70484-7 ◽

1980 ◽

pp. 133-162 ◽

Cited By ~ 1

Author(s):

Newton C.A. da Costa

Keyword(s):

Theoretical Approach ◽

Variable Binding

Download Full-text

Mathematical Logic in Latin America, Proceedings of the IV Latin American Symposium on Mathematical Logic - Studies in Logic and the Foundations of MathematicsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Elsevier

Toward A Concept of Scientific Theory Through Special Relativity

Copyright Page

A survey of Paraconsistent Logic ()

Program of the Symposium

Topological Duality Theory in Algebraic Logic

On Pcd(A) - Classes for an Admissible Set A

Back-and-Forth Systems for Arbitrary Quantifiers

On Strong Axioms of Induction in Set Theory and Arithmetic

Foundations of Statistical Methods Using A Semantical Definition of Probability

A Model-Theoretical Approach to Variable Binding Term Operators ()

Mathematical Logic in Latin America, Proceedings of the IV Latin American Symposium on Mathematical Logic - Studies in Logic and the Foundations of Mathematics
Latest Publications