Concepedia

Andrea Cantini

AC

Statistics

Publications

10

Citations

363

H-Index

10

Active since

1986

Affiliations

University of Florence(Current)

Andrea Cantini is an author at University of Florence specializing in engineering, automated reasoning, and computer science.

Top concepts

EngineeringAutomated ReasoningSemanticsLinguisticsFormal MethodsComputer ScienceLanguageProof ComplexityTheory Of ComputingRadar

Publications per year

1986–2014

10

Publications

10

A theory of formal truth arithmetically equivalent to ID<sub>1</sub>

Andrea Cantini · Journal of Symbolic Logic · 1990 · 98 citations

Formal Truth, Formal Logic, Engineering +15

Notes on Formal Theories of Truth

Andrea Cantini · Mathematical logic quarterly · 1989 · 74 citations

Formal Theories, Automated Reasoning, Classical Logic +4

The Undecidability of Grisin's Set Theory

Andrea Cantini · Studia Logica · 2003 · 51 citations

Nicholas Rescher,; Patrick Blackburn, Maarten de Rijke and Yde Venema, Cambridge Tracts in Theoretical Computer Science Vol. 53

Andrea Cantini, Valentin Goranko · 2004 · 36 citations

Theory Of Computing, Engineering, Nicholas Rescher +5

On the relation between choice and comprehension principles in second order arithmetic

Andrea Cantini · Journal of Symbolic Logic · 1986 · 22 citations

Paraconsistent Logic, Classical Logic, Higher-order Logic +17

1–5 of 10