Login / Signup

The existential fragment of second-order propositional intuitionistic logic is undecidable.

Ken-etsu FujitaAleksy SchubertPawel UrzyczynKonrad Zdanowski
Published in: J. Appl. Non Class. Logics (2024)
Keyphrases