Home Browse by Subject Bestsellers New Titles Editor's Choice New Reviews Textbooks
Search Book Series Study Guides Rights Inspection Copy Contact Us Join Our Mailing List
For Authors How to Order E-Catalogues

Browse all Subjects
Search Bookshop
New Titles
Editor's Choice
Bestsellers
Book Series
Textbooks
Journals
Join Our Mailing List
 
Advances in Logic - Vol. 2

FORK ALGEBRAS IN ALGEBRA, LOGIC AND COMPUTER SCIENCE

by Marcelo Fabián Frias (University of Buenos Aires, Argentina)

Table of Contents (55k)
Preface (69k)
Chapter 1: Introduction and Motivations (110k)

Fork algebras are a formalism based on the relational calculus, with interesting algebraic and metalogical properties. Their representability is especially appealing in computer science, since it allows a closer relationship between their language and models. This book gives a careful account of the results and presents some applications of Fork algebras in computer science, particularly in system specification and program construction. Many applications of Fork algebras in formal methods can be applied in many ways, and the book covers all the essentials in order to provide the reader with a better understanding.


Contents:

  • Introduction and Motivations
  • Algebras of Binary Relations and Relation Algebras
  • Proper and Abstract Fork Algebras
  • Representability and Independence
  • Interpretability of Classical First-Order Logic
  • Algebraization of Non-Classical Logics
  • A Calculus for Program Construction


Readership: Graduate students and researchers using relational methods in computer science.


"This book is well organized and written ... It is a valuable contribution to the field of relational methods in computer science and should be of interest for students and researchers both in algebraic logic and computer science."

Mathematics Abstracts




232pp Pub. date: Aug 2002
ISBN 978-981-02-4876-5
981-02-4876-8
US$58 / £43


Copyright © 2008 World Scientific Publishing Co. All rights reserved.
Updated on 18 July 2008