Logic from Russell to Church

Author: Dov M. Gabbay,John Woods

Publisher: Elsevier

ISBN: 0080885470

Category: Mathematics

Page: 1068

View: 6472

DOWNLOAD NOW »

This volume is number five in the 11-volume Handbook of the History of Logic. It covers the first 50 years of the development of mathematical logic in the 20th century, and concentrates on the achievements of the great names of the period--Russell, Post, Gödel, Tarski, Church, and the like. This was the period in which mathematical logic gave mature expression to its four main parts: set theory, model theory, proof theory and recursion theory. Collectively, this work ranks as one of the greatest achievements of our intellectual history. Written by leading researchers in the field, both this volume and the Handbook as a whole are definitive reference tools for senior undergraduates, graduate students and researchers in the history of logic, the history of philosophy, and any discipline, such as mathematics, computer science, and artificial intelligence, for whom the historical background of his or her work is a salient consideration. • The entire range of modal logic is covered • Serves as a singular contribution to the intellectual history of the 20th century • Contains the latest scholarly discoveries and interpretative insights
Release

Universal Algebra, Algebraic Logic, and Databases

Author: B. Plotkin

Publisher: Springer Science & Business Media

ISBN: 940110820X

Category: Mathematics

Page: 438

View: 4308

DOWNLOAD NOW »

Modern algebra, which not long ago seemed to be a science divorced from real life, now has numerous applications. Many fine algebraic structures are endowed with meaningful contents. Now and then practice suggests new and unexpected structures enriching algebra. This does not mean that algebra has become merely a tool for applications. Quite the contrary, it significantly benefits from the new connections. The present book is devoted to some algebraic aspects of the theory of databases. It consists of three parts. The first part contains information about universal algebra, algebraic logic is the subject of the second part, and the third one deals with databases. The algebraic material of the flI'St two parts serves the common purpose of applying algebra to databases. The book is intended for use by mathematicians, and mainly by algebraists, who realize the necessity to unite theory and practice. It is also addressed to programmers, engineers and all potential users of mathematics who want to construct their models with the help of algebra and logic. Nowadays, the majority of professional mathematicians work in close cooperation with representatives of applied sciences and even industrial technology. It is neces sary to develop an ability to see mathematics in different particular situations. One of the tasks of this book is to promote the acquisition of such skills.
Release

Ordered Sets and Lattices II

Author: N.A

Publisher: American Mathematical Soc.

ISBN: 9780821895887

Category: Lattice theory

Page: 246

View: 6676

DOWNLOAD NOW »

This indispensable reference source contains a wealth of information on lattice theory. The book presents a survey of virtually everything published in the fields of partially ordered sets, semilattices, lattices, and Boolean algebras that was reviewed in Referativnyi Zhurnal Matematika from mid-1982 to the end of 1985. A continuation of a previous volume (the English translation of which was published by the AMS in 1989, as volume 141 in Translations - Series 2), this comprehensive work contains more than 2200 references. Many of the papers covered here were originally published in virtually inaccessible places. The compilation of the volume was directed by Milan Kolibiar of Comenius University at Bratislava and Lev A. Skornyakov of Moscow University. Of interest to mathematicians, as well as to philosophers and computer scientists in certain areas, this unique compendium is a must for any mathematical library.
Release

Computational Collective Intelligence. Semantic Web, Social Networks and Multiagent Systems

First International Conference, ICCCI 2009, Wroclaw, Poland, October 5-7, 2009, Proceedings

Author: Ryszard Kowalczyk

Publisher: Springer Science & Business Media

ISBN: 3642044409

Category: Computers

Page: 860

View: 9789

DOWNLOAD NOW »

Computational collective intelligence (CCI) is most often understood as a subfield of artificial intelligence (AI) dealing with soft computing methods that enable group decisions to be made or knowledge to be processed among autonomous units acting in distributed environments. The needs for CCI techniques and tools have grown signi- cantly recently as many information systems work in distributed environments and use distributed resources. Web-based systems, social networks and multi-agent systems very often need these tools for working out consistent knowledge states, resolving conflicts and making decisions. Therefore, CCI is of great importance for today’s and future distributed systems. Methodological, theoretical and practical aspects of computational collective int- ligence, such as group decision making, collective action coordination, and knowledge integration, are considered as the form of intelligence that emerges from the collabo- tion and competition of many individuals (artificial and/or natural). The application of multiple computational intelligence technologies such as fuzzy systems, evolutionary computation, neural systems, consensus theory, etc. , can support human and other collective intelligence and create new forms of CCI in natural and/or artificial s- tems.
Release

Cylindric Algebras

Author: Bozzano G Luisa

Publisher: Elsevier

ISBN: 9780080887586

Category: Mathematics

Page: 301

View: 9829

DOWNLOAD NOW »

Volume II completes the description of the main aspects of the theory, covering representation questions, model theory and decision problems for them, translations from logic to algebra and vice-versa, and relationships with other algebraic versions of logic.
Release

Universal Algebra

Author: B. Csákány,E. Fried,Eligius Tamás Schmidt

Publisher: North Holland

ISBN: N.A

Category: Algebra, Universal

Page: 804

View: 7372

DOWNLOAD NOW »

Release