3 search results - page 1 / 1 » bsl 1999 |
69
Voted
BSL
1999
15 years 3 days ago
1999
71
Voted
BSL
1999
15 years 3 days ago
1999
Recently, in a paper by Tarski and Givant (Bull. Symbolic Logic, 1999, 5, 175
92
Voted
BSL
1999
15 years 3 days ago
1999
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...