Capturing naive validity in the Cut-free approach
Bibliographic Data
| ID | 10814121 |
|---|---|
| Authors | Eduardo Alejandro Barrio (0000-0003-4819-2841, Universidad de Buenos Aires, corresponding author), Eduardo Barrio, Lucas Rosenblatt (0000-0001-6952-4361, Universidad de Buenos Aires), Diego Tajer (0000-0002-4998-2290, Universidad de Buenos Aires) |
| Year | 2021 |
| Volume | 199 |
| Issue | S3 |
| Pages | 707-723 |
| Publication date | 2021-12-01 |
| Peer Reviewed | Yes |
| Open Access | Yes |
| Type | ARTICLE |
| Venue | Synthese (JOURNAL) |
| Journal identifiers | ISSN: 0039-7857 • E-ISSN: 1573-0964 |
| Publisher | Springer Science and Business Media LLC (PUBLISHER) |
| DOI | 10.1007/s11229-016-1199-5 |
| OpenAlex | W2517711136 |
| Language | EN |
| Citations received | 4 |
| References cited | 24 |
Calculus (dental) · Epistemology · Mathematical economics · Metaphysics · Philosophy of language · Philosophy of science · Predicate (mathematical logic) · Programming language · Sentence · Artificial Intelligence · Computer Science · Logic, programming, and type systems · Logic, Reasoning, and Knowledge · Mathematics · Philosophy · Philosophy and Theoretical Science
| Unique citing works | 4 |
|---|---|
| Citations per year | 0,57 |
| Citation span | 2019 - 2024 (6) |
| Citation velocity | recent |
| Highly cited | No |
| Citation types | Neutral: 4 |