Multi-Structure Logics Matt Insall

ISBN: 9780615152349

Published: August 13th 2007

Hardcover

148 pages


Description

Multi-Structure Logics  by  Matt Insall

Multi-Structure Logics by Matt Insall
August 13th 2007 | Hardcover | PDF, EPUB, FB2, DjVu, audiobook, mp3, ZIP | 148 pages | ISBN: 9780615152349 | 9.25 Mb

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,MoreWe 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.



Enter the sum





Related Archive Books



Related Books


Comments

Comments for "Multi-Structure Logics":


prpartner.pl

©2012-2015 | DMCA | Contact us