|
|
yuyang08@xxxxxxxxx wrote:
>
> Hello, everyone,
>
> This may be a silly question. But this does puzzle me.
> We can easily reason first-order logic, and second-order logic.
> Can we reason logics of abitrary higher order?
Yes. See http://www.seop.leeds.ac.uk/entries/type-theory/,
www.seop.leeds.ac.uk/entries/type-theory-church/">http://www.seop.leeds.ac.uk/entries/type-theory-church/.
> If this is true,
> could you point any reference on this?
--
Remove "antispam" and ".invalid" for e-mail address.
|
|