Related Books

Reductive Logic and Proof-search
Language: en
Pages: 227
Authors: David J. Pym
Categories: Language Arts & Disciplines
Type: BOOK - Published: 2004-04-29 - Publisher: Oxford University Press

DOWNLOAD EBOOK

This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, areas of logic tha
Logic Programming
Language: en
Pages: 842
Authors: Maria Garcia Banda
Categories: Computers
Type: BOOK - Published: 2008-12-15 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 24th International Conference on Logic Programming, ICLP 2008, held in Udine, Italy, in December 2008. The
Samson Abramsky on Logic and Structure in Computer Science and Beyond
Language: en
Pages: 1149
Authors: Alessandra Palmigiano
Categories: Philosophy
Type: BOOK - Published: 2023-09-02 - Publisher: Springer Nature

DOWNLOAD EBOOK

Samson Abramsky’s wide-ranging contributions to logical and structural aspects of Computer Science have had a major influence on the field. This book is a ric
Logic, Language, Information and Computation
Language: en
Pages: 321
Authors: Wilfrid Hodges
Categories: Philosophy
Type: BOOK - Published: 2008-06-27 - Publisher: Springer

DOWNLOAD EBOOK

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the 4th volume of the FoLLI LNAI subline; containi
The Semantics and Proof Theory of the Logic of Bunched Implications
Language: en
Pages: 323
Authors: David J. Pym
Categories: Mathematics
Type: BOOK - Published: 2013-04-17 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This is a monograph about logic. Specifically, it presents the mathe matical theory of the logic of bunched implications, BI: I consider Bl's proof theory, mode