@inbook{79b15f93db884cf2831abcbc28a68910,
title = "On the computational meaning of axioms",
abstract = "This paper investigates an anti-realist theory of meaning suitable for both logical and proper axioms. Unlike other anti-realist accounts such as Dummett–Prawitz verificationism, the standard framework of classical logic is not called into question. This account also admits semantic features beyond the inferential ones: computational aspects play an essential role in the determination of meaning. To deal with these computational aspects, a relaxation of syntax is necessary. This leads to a general kind of proof theory, where the objects of study are not typed objects like deductions, but rather untyped ones, in which formulas are replaced by geometrical configurations.",
author = "Alberto Naibo and Mattia Petrolo and Thomas Seiller",
year = "2016",
doi = "10.1007/978-3-319-26506-3_5",
language = "English",
isbn = "978-3-319-26504-9",
series = "Logic, Epistemology, and the Unity of Science",
publisher = "Springer",
pages = "141--184",
editor = "Juan Redmond and {Pombo Martins}, Olga and {Nepomuceno Fern{\'a}ndez}, {\'A}ngel",
booktitle = "Epistemology, knowledge and the impact of interaction",
}