Výsledky vyhledávání - "Alexandre Lyaletsky"

Akademický článek

Fundamental theorems of extensional untyped $\lambda$-calculus revisited

Autor: Alexandre Lyaletsky

Publikováno v: Computer Science Journal of Moldova, Vol 23, Iss 2(68), Pp 153-164 (2015)

This paper presents new proofs of three following fundamental theorems of the untyped extensional $\lambda$-calculus: the $\eta$-Postpo-nement theorem, the $\beta\eta$-Normal form theorem, and the Norma-lization theorem for $\beta\eta$-reduction. The

Externí odkaz: https://doaj.org/article/89feb1f36e6b45b7a9fab38ced6c7395

Zobrazit plný text záznamu

On One Approach to Goal-Driven Proof Search in Classical First-Order Logic

Autor: Alexander Lyaletski, Alexandre Lyaletsky

Publikováno v: SYNASC

An approach to a computer-oriented proof search in classical first-order logic leading to the construction of goal-driven sequent calculi that do not require skolemzation and one of which is a quantifier-rules-free one is presented. Results about the

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::abe59717f65595b99ffeb151b958e48e
https://doi.org/10.1109/synasc51798.2020.00023

Zobrazit plný text záznamu