Skip to main content
Proof Assistants Beta

All Questions

Ask Question
Tagged with
1 question
Newest Active Bountied Unanswered
1 vote
2 answers
173 views

Does quantification over functions (STLC) increase strength beyond first order logic?

Does quantification over functions (STLC) increase strength beyond first order logic? I want to add support for binders in my little constructive first order logic formalism I'm working on but I'm ...
Ms. Molly Stewart-Gallus's user avatar
Ms. Molly Stewart-Gallus
  • 2,868