Author(s): A.I. Arruda, R. Chuaqui and N.C.A. Da Costa (Eds.)
Series: Studies in Logic and the Foundations of Mathematics 99
Publisher: Elsevier Science
Year: 1980
Language: English
Pages: iii-x, 1-392
Content:
Edited by
Page iii
Copyright Page
Page iv
Dedication
Page v
Preface
Pages vii-viii
The Editors
Program of the Symposium
Pages ix-x
A survey of Paraconsistent Logic () Original Research Article
Pages 1-41
Ayda I. Arruda
On Strong Axioms of Induction in Set Theory and Arithmetic Original Research Article
Pages 43-56
Miroslav Benda
Toward A Concept of Scientific Theory Through Special Relativity Original Research Article
Pages 57-72
Jorge E. Bosch
The Consistency of A Higher Order Predicate Calculus and Set Theory Based on Combinatory Logic Original Research Article
Pages 73-82
M.W. Bunder
Back-and-Forth Systems for Arbitrary Quantifiers Original Research Article
Pages 83-102
Xavier Caicedo
Foundations of Statistical Methods Using A Semantical Definition of Probability Original Research Article
Pages 103-120
Rolando Chuaqui
Parameters in Theories of Classes Original Research Article
Pages 121-132
Manuel Corradd
A Model-Theoretical Approach to Variable Binding Term Operators () Original Research Article
Pages 133-162
Newton C.A. da Costa
The Model Theory of Fc-Groups Original Research Article
Pages 163-190
Ulrich Felgner
Semantical Models for Intuitionistic Logics Original Research Article
Pages 191-207
E.G.K. LГіpez-Escobar
Truth, Probability and Set Theory Original Research Article
Pages 209-218
J.R. Lucas
Compact Fragments of Higher Order Logic Original Research Article
Pages 219-238
J. Malitz, M. Rubin
A Closure for Partial Algebras () Original Research Article
Pages 239-253
Irene Mikenberg
Topological Duality Theory in Algebraic Logic Original Research Article
Pages 255-266
Charles C. Pinter
Satisfaction Definitions and Axioms of Infinity in a Theory of Properties With Necessity Operator Original Research Article
Pages 267-303
William N. Reinhardt
Problems and Solutions in the Semantics of Quantified Relevant Logics. I. Original Research Article
Pages 305-340
Richard Routley
A Characterization of Principal Congruences of De Morgan Algebras and its Applications Original Research Article
Pages 341-349
H.P. Sankappanavar
Axiomatizations for Пѓ-Additive Measurement Structures Original Research Article
Pages 351-364
M.G. Schwarre, R. Chuaqui
Functorial Approach to Interpretability Original Research Article
Pages 365-376
Antonio MГЎrio Sette
On Pcd(A) - Classes for an Admissible Set A Original Research Article
Pages 377-392
Robert Vaught
