Accession Number : AD0690990

Title :   AN INTRODUCTION TO THE MODEL THEORY OF FIRST-ORDER PREDICATE LOGIC AND A RELATED TEMPORAL LOGIC,

Corporate Author : RAND CORP SANTA MONICA CALIF

Personal Author(s) : Mattison,Robert

Report Date : JUN 1969

Pagination or Media Count : 73

Abstract : The paper presents the revised analysis of a formal language having greater expressive capabilities than a first-order predicate language. This new, first-order temporal language can express propositions involving tenses, dates, or quantification over temporal entities. The discussion includes a description of the first-order predicate language and the notion of bound and free variables. The notions of a deduction, a theorem of logic, and a consistent set of formulas are introduced, and the deduction theorem and a form of the compactness theorem are stated and proved. Detailed comparison shows that the new, first-order temporal language differs from the traditional one in allowing quantification over intervals and the admission of interval constants.

Descriptors :   (*INFORMATION RETRIEVAL, *PROGRAMMING LANGUAGES), (*MATHEMATICAL LOGIC, MODEL THEORY), SET THEORY, MATHEMATICAL MODELS

Subject Categories : Theoretical Mathematics
      Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE