Research output per year
Research output per year
Personal profile
Research interests
Foundations of Mathematics, Philosophy of Mathematics, Formalization of mathematical theories, Non-classical logics, Proof theory, Logic in computer science
Fingerprint
Dive into the research topics where Arnon Avron is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
On Non-deterministic Functional Completeness
Avron, A., 2024, Synthese Library. Springer Science and Business Media B.V., p. 83-92 10 p. (Synthese Library; vol. 485).Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
-
POINCARÉ-WEYL'S PREDICATIVITY: GOING beyond
Avron, A., 19 Mar 2024, In: Bulletin of Symbolic Logic. 30, 1, p. 41-91 51 p.Research output: Contribution to journal › Article › peer-review
Open Access -
Breaking the Tie: Benacerraf's Identification Argument Revisited
Avron, A. & Grabmayr, B., 1 Feb 2023, In: Philosophia Mathematica. 31, 1, p. 81-103 23 p.Research output: Contribution to journal › Review article › peer-review
1 Scopus citations -
Preface
Avron, A., Dershowitz, N. & Rabinovich, A., 2022, In: Fundamenta Informaticae. 186, 1-4, p. V-VIIIResearch output: Contribution to journal › Editorial
Open Access -
Proof Systems for 3-valued Logics Based on Gödel's Implication
Avron, A., 1 Jun 2022, In: Logic Journal of the IGPL. 30, 3, p. 437-453 17 p.Research output: Contribution to journal › Article › peer-review
2 Scopus citations