Abstraction in algorithmic logic

DOI10.1007/S10992-007-9051-5zbMath1142.03018OpenAlexW1988686825MaRDI QIDQ2481241

Wayne Aitken, Jeffrey A. Barrett

Publication date: 9 April 2008

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-007-9051-5

zbMATH Keywords

Curry paradoxCurry fixed pointfunctional abstraction principletype-free algorithmic logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Combinatory logic and lambda calculus (03B40)

Related Items (2)

Stability and paradox in algorithmic logic ⋮ Abstraction in Fitch's Basic Logic

Cites Work

• Computer implication and the Curry paradox
• Stability and paradox in algorithmic logic
• Unnamed Item
• Unnamed Item

This page was built for publication: Abstraction in algorithmic logic