Term Logic with Choice Operator
Published on 1. January 1970
Book
Paperback/Softback
III, 59 pages
978-3-540-04899-2 (ISBN)
Description
Foreword to the Revised Edition.- First order predicate logic with choice operator.- First order term logic with choice operator.- Embedding of predicate logic in term logic.- Embedding of term logic in predicate logic.- Free occurence of a variable. Rank of term. Elementary substitution.- A term calculus.- Soundness of the rules.- Survey of the completeness proof.- Some theorems concerning deducibility.- Substitution.- Further theorems concerning deducibility.- Survey of the proof of the Theorem on satisfiability.- Details of the proof.- Completeness of restricted term calculus.
More details
Series
Edition
1965 ed.
Language
English
Place of publication
Berlin
Germany
Publishing group
Springer Berlin
Target group
Professional and scholarly
Research
Illustrations
III, 59 p.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 4 mm
Weight
96 gr
ISBN-13
978-3-540-04899-2 (9783540048992)
DOI
10.1007/978-3-540-36203-6
Schweitzer Classification
Other editions
Previous edition
Hans Hermes
Eine Termlogik Mit Auswahloperator
Book
01/1965
Springer
€27.55
Article exhausted; check for reprint
Content
Foreword to the Revised Edition.- First order predicate logic with choice operator.- First order term logic with choice operator.- Embedding of predicate logic in term logic.- Embedding of term logic in predicate logic.- Free occurence of a variable. Rank of term. Elementary substitution.- A term calculus.- Soundness of the rules.- Survey of the completeness proof.- Some theorems concerning deducibility.- Substitution.- Further theorems concerning deducibility.- Survey of the proof of the Theorem on satisfiability.- Details of the proof.- Completeness of restricted term calculus.