Logical analysis of definitional deduction

MaRDI QIDQ3567777zbMATH OpenFDO

Authors Vladimir Ivanovich Shalak

Publication date 17 June 2010

zbMATH Keywords

combinatory logiclogic of definitional deductiontype-free languages

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• Semiotic foundations of logic
• From the definition in Pascal to the definitions in combinatory logic
• On the definition of ‘formal deduction’
• Proof theory and meaning: on the context of deducibility
• scientific article; zbMATH DE number 496219

Cited in

(5)

• Definable deduction relation
• Definitional reflection and basic logic
• From the definition in Pascal to the definitions in combinatory logic
• scientific article; zbMATH DE number 3941512 (Why is no real title available?)
• When are different type-logical semantic definitions defining equivalent meanings?

This page was built for publication: Logical analysis of definitional deduction

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