Abstraction Logic: A New Foundation
Year: 2025
Type: conference-abstract
Abstract: ion logic is a logic designed to bridge the gap between informal and formal mathematical reasoning. The key innovation lies in its ability to simultaneously support general binders and maintain a single mathematical universe—two features that have traditionally appeared incompatible in formal logic. This is achieved by carefully distinguishing between mathematical objects, operations, and operators. A comprehensive theory of abstraction logic is presented, including its algebraic foundations, a semantic account of alpha equivalence, and sound proof systems for both natural deduction and sequent calculus. Furthermore, natural deduction is shown to be complete.
Author: Obua, Steven
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W6930473960
Cites:
Cited by:
Related to: