Gabriele Pulcini

Available identifiers

zbMath Open pulcini.gabrieleWikidataQ116944567 ScholiaQ116944567MaRDI QIDQ472803

List of research outcomes

Publication	Date of Publication	Type
Refutation systems: an overview and some applications to philosophical logics	2024-09-11	Paper
Fractional-Valued Modal Logic and Soft Bilateralism	2024-02-29	Paper
Cut elimination by unthreading	2024-01-18	Paper
FRACTIONAL-VALUED MODAL LOGIC	2024-01-11	Paper
Complementary proof nets for classical logic	2024-01-10	Paper
Abduction as deductive saturation: a proof-theoretic inquiry	2024-01-08	Paper
https://portal.mardi4nfdi.de/entity/Q5883190	2023-03-29	Paper
https://portal.mardi4nfdi.de/entity/Q5104545	2022-09-14	Paper
A note on cut-elimination for classical propositional logic	2022-06-14	Paper
FRACTIONAL SEMANTICS FOR CLASSICAL LOGIC	2021-05-11	Paper
Paraconsistency in classical logic	2021-01-19	Paper
What’s so Special About the Gödel Sentence $$\mathcal {G}$$ ?	2020-07-13	Paper
A Deflationary Account of the Truth of the Gödel Sentence $$\mathcal{G}$$	2020-02-04	Paper
https://portal.mardi4nfdi.de/entity/Q5224667	2019-07-24	Paper
OUP accepted manuscript	2019-01-08	Paper
Uniqueness of axiomatic extensions of cut-free classical propositional logic	2019-01-08	Paper
Adding logic to the toolbox of molecular biology	2018-03-15	Paper
https://portal.mardi4nfdi.de/entity/Q5365501	2017-10-06	Paper
Unifying logics via context-sensitiveness	2017-05-17	Paper
A logical calculus for controlled monotonicity	2014-11-20	Paper
A logic of non-monotonic interactions	2013-05-02	Paper
Rewriting systems for the surface classification theorem	2010-08-26	Paper
A geometrical procedure for computing relaxation	2009-04-09	Paper
Permutative Additives and Exponentials	2008-05-15	Paper
Computer Science Logic	2006-11-01	Paper

Research outcomes over time

This page was built for person: Gabriele Pulcini