PULCINI, GABRIELE
PULCINI, GABRIELE
Dipartimento di Studi letterari, filosofici e di Storia dell'arte
A Deflationary Account of the Truth of the Gödel Sentence G
2015-01-01 Piazza, M; Pulcini, G
A geometrical procedure for computing relaxation
2009-01-01 Pulcini, G
A logic of non-monotonic interactions
2013-01-01 Boniolo, G; D'Agostino, M; Piazza, M; Pulcini, G
A logical calculus for controlled monotonicity
2014-01-01 D'Agostino, M; Piazza, M; Pulcini, G
A note on cut-elimination for classical propositional logic
2021-01-01 Pulcini, G
Abduction as Deductive Saturation: a Proof-Theoretic Inquiry
2023-01-01 Piazza, M; Pulcini, G; Sabatini, A
Adding logic to the toolbox of molecular biology
2015-01-01 Boniolo, G; D'Agostino, M; Piazza, M; Pulcini, G
Classical logic through refutation and rejection
2021-01-01 Pulcini, G; Varzi, Ac
Complementary Proof Nets for Classical Logic
2023-01-01 Pulcini, G; Varzi, Ac
Cut elimination by unthreading
2023-01-01 Pulcini, G
Cut-elimination and deductive polarization in complementary classical logic
2017-01-01 Carnielli, Wa; Pulcini, G
Dimostrazioni diverse di uno stesso teorema: loro importanza didattica
2022-06-01 Bussotti, P; Pulcini, G
Fractional semantics for classical logic
2020-01-01 Piazza, M; Pulcini, G
Fractional-valued modal logic
2021-01-01 Piazza, Mario; Pulcini, G; Tesi, M
Fractional-Valued Modal Logic and Soft Bilateralism
2023-01-01 Piazza, M; Pulcini, G; Tesi, M
How to go non-monotonic through context-sensitiveness
2015-01-01 D'Agostino, M; Piazza, M; Pulcini, G
Linear logic in a refutational setting
2023-01-01 Piazza, M; Pulcini, G; Tesi, M
Molecular Biology Meets Logic : Context-Sensitiveness in Focus
2021-01-01 Boniolo, G; D'Agostino, M; Piazza, M; Pulcini, G
Paraconsistency in classical logic
2018-01-01 Pulcini, G; Varzi, Ac
Refutation Systems : An Overview and Some Applications to Philosophical Logics
2020-01-01 Goranko, V; Pulcini, G; Skura, T
| Data di pubblicazione | Titolo | Autore(i) | Tipo | File |
|---|---|---|---|---|
| 1-gen-2015 | A Deflationary Account of the Truth of the Gödel Sentence G | Piazza, M; Pulcini, G | Contributo in libro | |
| 1-gen-2009 | A geometrical procedure for computing relaxation | Pulcini, G | Articolo su rivista | |
| 1-gen-2013 | A logic of non-monotonic interactions | Boniolo, G; D'Agostino, M; Piazza, M; Pulcini, G | Articolo su rivista | |
| 1-gen-2014 | A logical calculus for controlled monotonicity | D'Agostino, M; Piazza, M; Pulcini, G | Articolo su rivista | |
| 1-gen-2021 | A note on cut-elimination for classical propositional logic | Pulcini, G | Articolo su rivista | |
| 1-gen-2023 | Abduction as Deductive Saturation: a Proof-Theoretic Inquiry | Piazza, M; Pulcini, G; Sabatini, A | Articolo su rivista | |
| 1-gen-2015 | Adding logic to the toolbox of molecular biology | Boniolo, G; D'Agostino, M; Piazza, M; Pulcini, G | Articolo su rivista | |
| 1-gen-2021 | Classical logic through refutation and rejection | Pulcini, G; Varzi, Ac | Contributo in libro | |
| 1-gen-2023 | Complementary Proof Nets for Classical Logic | Pulcini, G; Varzi, Ac | Articolo su rivista | |
| 1-gen-2023 | Cut elimination by unthreading | Pulcini, G | Articolo su rivista | |
| 1-gen-2017 | Cut-elimination and deductive polarization in complementary classical logic | Carnielli, Wa; Pulcini, G | Articolo su rivista | |
| 1-giu-2022 | Dimostrazioni diverse di uno stesso teorema: loro importanza didattica | Bussotti, P; Pulcini, G | Articolo su rivista | |
| 1-gen-2020 | Fractional semantics for classical logic | Piazza, M; Pulcini, G | Articolo su rivista | |
| 1-gen-2021 | Fractional-valued modal logic | Piazza, Mario; Pulcini, G; Tesi, M | Articolo su rivista | |
| 1-gen-2023 | Fractional-Valued Modal Logic and Soft Bilateralism | Piazza, M; Pulcini, G; Tesi, M | Articolo su rivista | |
| 1-gen-2015 | How to go non-monotonic through context-sensitiveness | D'Agostino, M; Piazza, M; Pulcini, G | Articolo su rivista | |
| 1-gen-2023 | Linear logic in a refutational setting | Piazza, M; Pulcini, G; Tesi, M | Articolo su rivista | |
| 1-gen-2021 | Molecular Biology Meets Logic : Context-Sensitiveness in Focus | Boniolo, G; D'Agostino, M; Piazza, M; Pulcini, G | Articolo su rivista | |
| 1-gen-2018 | Paraconsistency in classical logic | Pulcini, G; Varzi, Ac | Articolo su rivista | |
| 1-gen-2020 | Refutation Systems : An Overview and Some Applications to Philosophical Logics | Goranko, V; Pulcini, G; Skura, T | Contributo in libro |