Login / Signup
The existential fragment of second-order propositional intuitionistic logic is undecidable.
Ken-etsu Fujita
Aleksy Schubert
Pawel Urzyczyn
Konrad Zdanowski
Published in:
J. Appl. Non Class. Logics (2024)
Keyphrases
</>
intuitionistic logic
classical logic
linear logic
default logic
sufficient conditions
natural deduction
propositional logic
first order logic
query answering
proof theoretic
logic programming
normal form
np complete
fixed point
default reasoning
knowledge compilation