The Semantics and Proof Theory of the Logic of Bunched Implications

The Semantics and Proof Theory of the Logic of Bunched Implications
Author :
Publisher : Springer Science & Business Media
Total Pages : 323
Release :
ISBN-10 : 9789401700917
ISBN-13 : 9401700915
Rating : 4/5 (915 Downloads)

Book Synopsis The Semantics and Proof Theory of the Logic of Bunched Implications by : David J. Pym

Download or read book The Semantics and Proof Theory of the Logic of Bunched Implications written by David J. Pym and published by Springer Science & Business Media. This book was released on 2013-04-17 with total page 323 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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, model theory and computation theory. However, the mono graph is also about informatics in a sense which I explain. Specifically, it is about mathematical models of resources and logics for reasoning about resources. I begin with an introduction which presents my (background) view of logic from the point of view of informatics, paying particular attention to three logical topics which have arisen from the development of logic within informatics: • Resources as a basis for semantics; • Proof-search as a basis for reasoning; and • The theory of representation of object-logics in a meta-logic. The ensuing development represents a logical theory which draws upon the mathematical, philosophical and computational aspects of logic. Part I presents the logical theory of propositional BI, together with a computational interpretation. Part II presents a corresponding devel opment for predicate BI. In both parts, I develop proof-, model- and type-theoretic analyses. I also provide semantically-motivated compu tational perspectives, so beginning a mathematical theory of resources. I have not included any analysis, beyond conjecture, of properties such as decidability, finite models, games or complexity. I prefer to leave these matters to other occasions, perhaps in broader contexts.


The Semantics and Proof Theory of the Logic of Bunched Implications Related Books

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
Reductive Logic and Proof-search
Language: en
Pages: 227
Authors: David J. Pym
Categories: Mathematics
Type: BOOK - Published: 2004-04-29 - Publisher: Oxford University Press on Demand

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
Automated Reasoning with Analytic Tableaux and Related Methods
Language: en
Pages: 477
Authors: Serenella Cerrito
Categories: Computers
Type: BOOK - Published: 2019-08-22 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book constitutes the proceedings of the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2019, hel
Programming Languages and Systems
Language: en
Pages: 451
Authors: Mooly Sagiv
Categories: Computers
Type: BOOK - Published: 2005-03-23 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 14th European Symposium on Programming, ESOP 2005, held in Edinburgh, UK in April 2005 as part of ETAPS. T
Logical Foundations of Computer Science
Language: en
Pages: 424
Authors: Sergei Artemov
Categories: Mathematics
Type: BOOK - Published: 2013-01-05 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2013, held in San Diego, CA, USA