Questions tagged [intuitionistic-logic]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
9
votes
1answer
107 views

Validity problem of intuitionistic two-variable logic

The two-variable fragment $\mathrm{FO}^2$ consist of those sentences of first-order logic $\mathrm{FO}$ in which precisely two variables occur (e.g. $\exists x \exists y \exists z R(x,y,z)$ is not a ...