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

GET 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
Basic Proof Theory
Language: en
Pages: 436
Authors: A. S. Troelstra
Categories: Computers
Type: BOOK - Published: 2000-07-27 - Publisher: Cambridge University Press

GET EBOOK

This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of formalization of first-order l
Foundations of Software Science and Computation Structures
Language: en
Pages: 574
Authors: Stefan Kiefer
Categories: Mathematics
Type: BOOK - Published: 2021-03-23 - Publisher: Springer

GET EBOOK

This open access book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS
Automated Reasoning with Analytic Tableaux and Related Methods
Language: en
Pages: 488
Authors: Serenella Cerrito
Categories: Computers
Type: BOOK - Published: 2019-08-22 - Publisher: Springer Nature

GET 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

GET 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