Intuicionistická logika – Další jazyky