Refutation systems: an overview and some applications to philosophical logics V Goranko, G Pulcini, T Skura Knowledge, Proof and Dynamics: The Fourth Asian Workshop on Philosophical …, 2020 | 21 | 2020 |
Unifying logics via context-sensitiveness M Piazza, G Pulcini Journal of Logic and Computation 27 (1), 21-40, 2017 | 19 | 2017 |
Permutative logic JM Andreoli, G Pulcini, P Ruet International Workshop on Computer Science Logic, 184-199, 2005 | 18 | 2005 |
Uniqueness of axiomatic extensions of cut-free classical propositional logic M Piazza, G Pulcini Logic Journal of the IGPL 24 (5), 708-718, 2016 | 17 | 2016 |
Adding logic to the toolbox of molecular biology G Boniolo, M D’agostino, M Piazza, G Pulcini European Journal for Philosophy of Science 5, 399-417, 2015 | 16 | 2015 |
A logic of non-monotonic interactions G Boniolo, M DʼAgostino, M Piazza, G Pulcini Journal of Applied Logic 11 (1), 52-62, 2013 | 15 | 2013 |
Paraconsistency in classical logic G Pulcini, AC Varzi Synthese 195 (12), 5485-5496, 2018 | 13 | 2018 |
Cut-elimination and deductive polarization in complementary classical logic WA Carnielli, G Pulcini Logic Journal of the IGPL 25 (3), 273-282, 2017 | 13 | 2017 |
Fractional semantics for classical logic M Piazza, G Pulcini The Review of Symbolic Logic 13 (4), 810-828, 2020 | 11 | 2020 |
Towards an operational view of purity R Kahle, G Pulcini The logica yearbook, 125-138, 2017 | 11 | 2017 |
A logical calculus for controlled monotonicity M D'Agostino, M Piazza, G Pulcini Journal of Applied Logic 12 (4), 558-569, 2014 | 11 | 2014 |
A Deflationary Account of the Truth of the Gödel Sentence G M PIAZZA, G PULCINI Philosophy of mathematics: from logic to practice, 0 | 7* | |
What’s so special about the Gödel sentence? M Piazza, G Pulcini Objectivity, realism, and proof: FilMat studies in the philosophy of …, 2016 | 6 | 2016 |
Strange case of Dr. soundness and Mr. consistency M Piazza, G Pulcini The Logica Yearbook 2013, 161-172, 2013 | 6 | 2013 |
Fractional-valued modal logic M Piazza, G Pulcini, M Tesi The Review of Symbolic Logic 16 (4), 1033-1052, 2023 | 5 | 2023 |
Abduction via context-sensitiveness M Piazza, G Pulcini International Conference “Model-Based Reasoning in Science and Technology …, 2015 | 5 | 2015 |
A note on cut-elimination for classical propositional logic G Pulcini Archive for Mathematical Logic 61 (3), 555-565, 2022 | 3 | 2022 |
Classical logic through refutation and rejection G Pulcini, AC Varzi Landscapes in Logic (Volume on Philosophical Logics). College Publications, 2021 | 3 | 2021 |
Computing surfaces via pq‐permutations G Pulcini International Journal of Imaging Systems and Technology 19 (2), 132-139, 2009 | 3 | 2009 |
Molecular Biology Meets Logic: Context-Sensitiveness in Focus G Boniolo, M D’Agostino, M Piazza, G Pulcini Foundations of Science, 1-19, 2021 | 2 | 2021 |