[FOM] Relevant Logic

[Andreas Weiermann]

Dear all,

for those who find it interesting I made
a paper (which is joint
with Martin Bunder) on relevance logic available on the web.
It concerns Ackermannian lower bounds
for decidability problems in relevance logic
and it also contains a complexity result
a la Seidenberg for Hilbert's basis theorem.
The treatment of Dickson's Lemma
is done by elementary calculations.

The URL is:

http://www.math.uu.nl/people/weierman/relevance.html

Best,

Andreas Weiermann