
Accession Number : AD0690990
Title : AN INTRODUCTION TO THE MODEL THEORY OF FIRSTORDER 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 firstorder predicate language. This new, firstorder temporal language can express propositions involving tenses, dates, or quantification over temporal entities. The discussion includes a description of the firstorder 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, firstorder 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