On the definitional embeddability of the combinatory logic theory into the first-order predicate calculus

zbMATH Open1370.03023MaRDI QIDQ2811650

Vladimir I. Shalack

Publication date: 10 June 2016

Published in: Logicheskie Issledovaniya (Search for Journal in Brave)

zbMATH Keywords

computable functionspredicate logiccombinatory logicdefinitionsdefinitional embedding

Mathematics Subject Classification ID

Classical first-order logic (03B10) Combinatory logic and lambda calculus (03B40)

Related Items (1)

A transformation scheme for infinitary first-order combinatorics presenting computational level of expressiveness in predicate logic

This page was built for publication: On the definitional embeddability of the combinatory logic theory into the first-order predicate calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2811650)