[FOM] Relevant Logic
weiermann at math.uu.nl
Wed Mar 8 15:58:22 EST 2006
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:
More information about the FOM