Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Alberto Naibo"'
Autor:
Yuta Takahashi, Alberto Naibo
Publikováno v:
Electronic Proceedings in Theoretical Computer Science
Electronic Proceedings in Theoretical Computer Science, EPTCS, 2021, Proceedings Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications (Linearity&TLLA 2020), Online, 29-30 June 2020, 353, pp.132-156. ⟨10.4204/EPTCS.353.7⟩
Electronic Proceedings in Theoretical Computer Science, EPTCS, 2021, Proceedings Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications (Linearity&TLLA 2020), Online, 29-30 June 2020, 353, pp.132-156. ⟨10.4204/EPTCS.353.7⟩
Prawitz formulated the so-called inversion principle as one of the characteristic features of Gentzen's intuitionistic natural deduction. In the literature on proof-theoretic semantics, this principle is often coupled with another that is called the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b5b6c5fb504ac0d00d190af995a0336b
https://doi.org/10.4204/eptcs.353.7
https://doi.org/10.4204/eptcs.353.7
Autor:
Giulio Guerrieri, Alberto Naibo
Publikováno v:
Studia Logica
Studia Logica, Springer Verlag (Germany), 2019, 107 (1), pp.109-144. ⟨10.1007/s11225-017-9781-5⟩
Studia Logica, 2019, 107 (1), pp.109-144. ⟨10.1007/s11225-017-9781-5⟩
Studia Logica, Springer Verlag (Germany), 2019, 107 (1), pp.109-144. ⟨10.1007/s11225-017-9781-5⟩
Studia Logica, 2019, 107 (1), pp.109-144. ⟨10.1007/s11225-017-9781-5⟩
We study how to postpone the application of the reductio ad absurdum rule ( $$\mathsf {raa}$$ ) in classical natural deduction. This technique is connected with two normalization strategies for classical logic, due to Prawitz and Seldin, respectively
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fe1af891582554ed0b95796204889387
https://doi.org/10.1007/s11225-017-9781-5
https://doi.org/10.1007/s11225-017-9781-5
Autor:
Alberto Naibo, Paolo Maffezioli
Publikováno v:
Logic Journal of the IGPL
Logic Journal of the IGPL, Oxford University Press (OUP), 2019, 27 (4), pp.434-450. ⟨10.1093/jigpal/jzz013⟩
Logic Journal of the IGPL, Oxford University Press (OUP), 2019, 27 (4), pp.434-450. ⟨10.1093/jigpal/jzz013⟩
We investigate in intuitionistic first-order logic various principles of preference relations alternative to the standard ones based on the transitivity and completeness of weak preference. In particular, we suggest two ways in which completeness can
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::aa91e1ca4b62a163e57a83158bce1104
https://hal.archives-ouvertes.fr/hal-02277856
https://hal.archives-ouvertes.fr/hal-02277856
Autor:
Alberto Naibo, Mattia Petrolo
Publikováno v:
Theoria. 81:143-181
A comparison is given between two conditions used to define logical constants: Belnap's uniqueness and Hacking's deducibility of identicals. It is shown that, in spite of some surface similarities, there is a deep difference between them. On the one
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bca7a6fda68a61dc4a625ba57b2e603b
https://doi.org/10.1111/theo.12051
https://doi.org/10.1111/theo.12051
Autor:
Alberto Naibo
Publikováno v:
Archives de Philosophie
Archives de Philosophie, Centre Sèvres, 2016, Visages de Putnam, 79 (4), pp.693-720
Archives de Philosophie, Centre Sèvres, 2016, Visages de Putnam, 79 (4), pp.693-720
International audience; This article compares Putnam’s and Dummett’s positions with respect to the question of the meaning and knowledge of logico-mathematical truths. This comparison reveals an underlying unity in Putnam’s thought, characteriz
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b818cacf82199162b3f382a4d3412e85
https://hal.archives-ouvertes.fr/hal-01394837
https://hal.archives-ouvertes.fr/hal-01394837
Publikováno v:
Epistemology, Knowledge and the Impact of Interaction
Epistemology, Knowledge and the Impact of Interaction, 38, Springer, pp. 141-184, 2016, Logic, Epistemology, and the Unity of Science, 978-3-319-26504-9. ⟨10.1007/978-3-319-26506-3_5⟩
Logic, Epistemology, and the Unity of Science ISBN: 9783319265049
Epistemology, Knowledge and the Impact of Interaction, 38, Springer, pp. 141-184, 2016, Logic, Epistemology, and the Unity of Science, 978-3-319-26504-9. ⟨10.1007/978-3-319-26506-3_5⟩
Logic, Epistemology, and the Unity of Science ISBN: 9783319265049
International audience; 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
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c50f6914f5fe346ade87f6f91d45e95b
https://halshs.archives-ouvertes.fr/halshs-01313400
https://halshs.archives-ouvertes.fr/halshs-01313400
Publikováno v:
Perspectives on Interrogative Models of Inquiry
Perspectives on Interrogative Models of Inquiry, 8, Springer, pp.163-197, 2016, Logic, Argumentation & Reasoning, 978-3-319-20761-2. ⟨10.1007/978-3-319-20762-9_9⟩
Logic, Argumentation & Reasoning ISBN: 9783319207612
Perspectives on Interrogative Models of Inquiry, 8, Springer, pp.163-197, 2016, Logic, Argumentation & Reasoning, 978-3-319-20761-2. ⟨10.1007/978-3-319-20762-9_9⟩
Logic, Argumentation & Reasoning ISBN: 9783319207612
International audience; This paper investigates the question of whether Krivine’s classical realizability can provide a verificationist interpretation of classical logic. We argue that this kind of realizability can be considered an adequate candid
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a614590d0005a7dbc8e0cce45e2f8359
https://hal.archives-ouvertes.fr/hal-01251229
https://hal.archives-ouvertes.fr/hal-01251229
Autor:
Alberto Naibo, Paolo Maffezioli
Publikováno v:
Logic and Logical Philosophy, 23(3), 301-328
Logic and Logical Philosophy
Logic and Logical Philosophy, Nicolaus Copernicus University Scientific Publishing House, 2014, 23 (3), pp.301-328. ⟨10.12775/LLP.2013.026⟩
Logic and Logical Philosophy
Logic and Logical Philosophy, Nicolaus Copernicus University Scientific Publishing House, 2014, 23 (3), pp.301-328. ⟨10.12775/LLP.2013.026⟩
International audience; A combination of epistemic logic and dynamic logic of programs is presented. Although rich enough to formalize some simple game-theoretic scenarios, its axiomatization is problematic as it leads to the paradoxical conclusion t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::dfc76505b04e8f2a6f5c11ea87d9660b
https://doi.org/10.12775/llp.2013.026
https://doi.org/10.12775/llp.2013.026
Autor:
Mélès , Baptiste
Publikováno v:
Interaction entre logique, langage et informatique
Interaction entre logique, langage et informatique, Mar 2015, Paris, France
Interaction entre logique, langage et informatique, Alberto Naibo; Liesbeth de Mol; Shahid Rahman; Mark van Atten, Mar 2015, Paris, France
Interaction entre logique, langage et informatique, Mar 2015, Paris, France
Interaction entre logique, langage et informatique, Alberto Naibo; Liesbeth de Mol; Shahid Rahman; Mark van Atten, Mar 2015, Paris, France
National audience
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::04fd3a0ce6664d9b81fc1405e15bcbca
https://hal.archives-ouvertes.fr/hal-01224204
https://hal.archives-ouvertes.fr/hal-01224204