Multi-structures and Their Logics, for Computer Science, Computer Engineering, Mathematics, and Philosophy
Recommended Citation
M. Insall, "Multi-structures and Their Logics, for Computer Science, Computer Engineering, Mathematics, and Philosophy," Matt Insall, Jan 2007.
Department(s)
Mathematics and Statistics
Keywords and Phrases
Axiom schema; Completeness theorem; Consistency theorem; Soundness theorem; elementary chains; multi-structures; proof by contradiction; universal validity
Document Type
Book
Document Version
Citation
File Type
text
Language(s)
English
Table of Contents
1. Fundamentals
2. Language and satifaction
3. A sound Axiom System
4. Completeness
5. Basic Model Theory
Rights
© 2007 Matt Insall, All rights reserved.
Publication Date
01 Jan 2007
