The Semantics and Proof Theory of the Logic of Bunched Implications - Applied Logic Series
Latest Publications

TOTAL DOCUMENTS

16

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Springer Netherlands

9789048160723, 9789401700917

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Propositional BI as a Sequent Calculus

The Semantics and Proof Theory of the Logic of Bunched Implications - Applied Logic Series ◽

10.1007/978-94-017-0091-7_6 ◽

2002 ◽

pp. 89-95

Author(s):

David J. Pym

Keyword(s):

Sequent Calculus

Download Full-text

Topological Kripke Semantics

The Semantics and Proof Theory of the Logic of Bunched Implications - Applied Logic Series ◽

10.1007/978-94-017-0091-7_5 ◽

2002 ◽

pp. 67-87

Author(s):

David J. Pym

Keyword(s):

Kripke Semantics

Download Full-text

Algebraic, Topological, Categorical

The Semantics and Proof Theory of the Logic of Bunched Implications - Applied Logic Series ◽

10.1007/978-94-017-0091-7_3 ◽

2002 ◽

pp. 33-49

Author(s):

David J. Pym

Download Full-text

The Sharing Interpretation, I

The Semantics and Proof Theory of the Logic of Bunched Implications - Applied Logic Series ◽

10.1007/978-94-017-0091-7_9 ◽

2002 ◽

pp. 121-144

Author(s):

David J. Pym

Download Full-text

Bunched Logical Relations

The Semantics and Proof Theory of the Logic of Bunched Implications - Applied Logic Series ◽

10.1007/978-94-017-0091-7_8 ◽

2002 ◽

pp. 107-119

Author(s):

David J. Pym

Download Full-text

Natural Deduction for Propositional BI

The Semantics and Proof Theory of the Logic of Bunched Implications - Applied Logic Series ◽

10.1007/978-94-017-0091-7_2 ◽

2002 ◽

pp. 13-31

Author(s):

David J. Pym

Keyword(s):

Natural Deduction

Download Full-text

Kripke Semantics for Predicate BI

The Semantics and Proof Theory of the Logic of Bunched Implications - Applied Logic Series ◽

10.1007/978-94-017-0091-7_13 ◽

2002 ◽

pp. 179-199

Author(s):

David J. Pym

Keyword(s):

Kripke Semantics

Download Full-text

Introduction to Part II

The Semantics and Proof Theory of the Logic of Bunched Implications - Applied Logic Series ◽

10.1007/978-94-017-0091-7_10 ◽

2002 ◽

pp. 147-156

Author(s):

David J. Pym

Download Full-text

Kripke Semantics

The Semantics and Proof Theory of the Logic of Bunched Implications - Applied Logic Series ◽

10.1007/978-94-017-0091-7_4 ◽

2002 ◽

pp. 51-66

Author(s):

David J. Pym

Keyword(s):

Kripke Semantics

Download Full-text

Topological Kripke Semantics for Predicate BI

The Semantics and Proof Theory of the Logic of Bunched Implications - Applied Logic Series ◽

10.1007/978-94-017-0091-7_14 ◽

2002 ◽

pp. 201-205

Author(s):

David J. Pym

Keyword(s):

Kripke Semantics

Download Full-text