Multi-Structure Logics
Author | : Matt Insall |
Publisher | : |
Total Pages | : 148 |
Release | : 2007-08 |
ISBN-10 | : 0615152341 |
ISBN-13 | : 9780615152349 |
Rating | : 4/5 (349 Downloads) |
Download or read book Multi-Structure Logics written by Matt Insall and published by . This book was released on 2007-08 with total page 148 pages. Available in PDF, EPUB and Kindle. Book excerpt: We describe a theory of multi-structures'', and explore logics and languages that are natural for the study of these mathematical objects. The text is written for upper level undergraduate students and beginning graduate students in Computer Science, Computer Engineering, Mathematics, and Philosophy, although it is expected that students of other disciplines can benefit from the study of this subject as well. Multi-structures differ from the structures'' of classical logic and model theory in that the arity of a fundamental operation of a multi-structure is an ordered pair of nonnegative integers, such that the given operation is a function which maps ''vectors'' over the structure to other ''vectors'' over the same structure.