[FOM] Relevant Logic

Andreas Weiermann weiermann at math.uu.nl
Wed Mar 8 15:58:22 EST 2006

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:



Andreas Weiermann

More information about the FOM mailing list