"Multi-structures and Their Logics, for Computer Science, Computer Engineering, Mathematics, and Philosophy" by Matt Insall

Selected Works of Matt Insall

Follow Contact

Book

Multi-structures and Their Logics, for Computer Science, Computer Engineering, Mathematics, and Philosophy

Mathematics and Statistics Faculty Research & Creative Works

Matt Insall, Missouri University of Science and Technology

Link

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

Publication Date

1-1-2007

Publication Date

01 Jan 2007

Disciplines

Mathematics and
Statistics and Probability

Citation Information

Matt Insall. Multi-structures and Their Logics, for Computer Science, Computer Engineering, Mathematics, and Philosophy. (2007)
Available at: http://works.bepress.com/matt-insall/28/