Sciweavers

28

BSL
1999

262views more BSL 1999»

Tarski's system of geometry

14 years 5 days ago

Tarski's system of geometry

Download www.kirj.ee

Recently, in a paper by Tarski and Givant (Bull. Symbolic Logic, 1999, 5, 175

Alfred Tarski, Steven Givant

claim paper

Read More »

33

BSL
1999

50views more BSL 1999»

Ordered groups: a case study in reverse mathematics

14 years 5 days ago

Ordered groups: a case study in reverse mathematics

Download www.math.uconn.edu

Reed Solomon

claim paper

Read More »

43

BSL
1999

103views more BSL 1999»

The logic of bunched implications

14 years 5 days ago

The logic of bunched implications

Download www.doc.ic.ac.uk

We consider a classical (propositional) version, CBI, of O'Hearn and Pym's logic of bunched implications (BI) from a model- and prooftheoretic perspective. We present a c...

Peter W. O'Hearn, David J. Pym

claim paper

Read More »