The following pages link to Gabriele Pulcini (Q472803):
Displayed 24 items.
- A logical calculus for controlled monotonicity (Q472804) (← links)
- A geometrical procedure for computing relaxation (Q1011756) (← links)
- Adding logic to the toolbox of molecular biology (Q1705298) (← links)
- A logic of non-monotonic interactions (Q1948286) (← links)
- A note on cut-elimination for classical propositional logic (Q2144620) (← links)
- Paraconsistency in classical logic (Q2219139) (← links)
- Unifying logics via context-sensitiveness (Q2987041) (← links)
- What’s so Special About the Gödel Sentence $$\mathcal {G}$$ ? (Q3295825) (← links)
- FRACTIONAL SEMANTICS FOR CLASSICAL LOGIC (Q3389493) (← links)
- Permutative Additives and Exponentials (Q3498487) (← links)
- Rewriting systems for the surface classification theorem (Q3583022) (← links)
- OUP accepted manuscript (Q4644486) (← links)
- Uniqueness of axiomatic extensions of cut-free classical propositional logic (Q4644567) (← links)
- (Q5104545) (← links)
- A Deflationary Account of the Truth of the Gödel Sentence $$\mathcal{G}$$ (Q5213627) (← links)
- (Q5224667) (← links)
- (Q5365501) (← links)
- Computer Science Logic (Q5394577) (← links)
- (Q5883190) (← links)
- Cut elimination by unthreading (Q6139240) (← links)
- Abduction as deductive saturation: a proof-theoretic inquiry (Q6145029) (← links)
- Complementary proof nets for classical logic (Q6146288) (← links)
- FRACTIONAL-VALUED MODAL LOGIC (Q6148465) (← links)
- Fractional-Valued Modal Logic and Soft Bilateralism (Q6200467) (← links)