Mathematical Logic and Formal Systems

Front Cover
CRC Press, Apr 25, 1985 - Mathematics - 320 pages
This unique collection of research papers provides an important contribution to the area of Mathematical Logic and Formal Systems. Exploring interesting practical applications as well as problems for further investigation, this single-source reference discusses the interpretations of the concept of probability and their relationship to statistical methods ... illustrates the problem of set theoretical foundations and category theory ... treats the various aspects of the theory of large cardinals including combinatorial properties of some sets naturally related to them ... resolves an open problem in the theory of relations ... and characterizes interpretations of elementary theories as functors between categories whose objects are structures. Written by world-renowned authorities in their fields, Mathematical Logic and Formal Systems is important reading for logicians, pure and applied mathematicians, and graduate students in logic courses. Book jacket.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

SUR LES NOMBRES NATURELS ET LES FONDEMENTS DE LARITHMÉTIQUE
17
HOW TO DECIDE BETWEEN DIFFERENT METHODS OF STATISTICAL INFERENCE
43
THE SET THEORY OF A CLASS SYSTEM
57
SOME ASPECTS OF THE THEORY OF LARGE CARDINALS
87
THE CONDITIONAL AND PARACONSISTENT LOGICS
141
DEUX RELATIONS DĒNOMBRABLES LOGIQUEMENT ÉQUIVELENTES POUR
161
A GENERALIZED LUKASIEWICZSTYLE IDENTITY LOGIC
183
UNE CLASSE DANNEAUX MONADIQUES SANS CONSTANTE
197
RELEVANT QUANTUM ARITHMETIC
221
CHARACTERIZATIONS OF ELEMENTARY INTERPRETATIONS IN CATEGORY
243
INDEX
293
Copyright

Common terms and phrases

Bibliographic information