Я изучаю лямбда-исчисление, однако я довольно смущен кванторами в лямбда-исчислении. Насколько я знаю, кванторы, такие как «∃», представляют собой концепции логики первого порядка (FOL), которые не нужны для лямбда-исчисления. Более того, я не нашел ничего о квантификаторах в каких-либо учебниках, которые я прочитал.Квантификаторы в лямбда-исчислении
Однако я нахожу this paper (Lambda Dependency-Based Compositional Semantics ), на первой странице которого автор использовал квантификатор в лямбда-исчислении. Итак, кванторы используются в лямбда-исчислении? Если да, то что они означают? Это то же самое, что и в FOL?