Abstract In comparing classical and non-classical solutions to the semantic paradoxes arguments relying on strength have been influential. this paper I argue that should preserve proof-theoretic of solutions. Leitgeb’s logic HYPE is then presented as an interesting possibility strengthen FDE with a suitable conditional. It shown allows for Kripkean theory truth, called KFL, strong enough releva...