The following pages link to Mario Piazza (Q209450):
Displaying 22 items.
- A logical calculus for controlled monotonicity (Q472804) (← links)
- Adding logic to the toolbox of molecular biology (Q1705298) (← links)
- A logic of non-monotonic interactions (Q1948286) (← links)
- The implicit commitment of arithmetical theories and its semantic core (Q2051133) (← links)
- Chrysippus' logic in a natural deduction setting (Q2094135) (← links)
- Possibilities regained: neo-Lewisian contextualism and ordinary life (Q2690147) (← links)
- Exchange rules (Q2747701) (← 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)
- Saturated formulas in full linear logic (Q4221298) (← links)
- (Q4335231) (← links)
- (Q4365781) (← links)
- Uniqueness of axiomatic extensions of cut-free classical propositional logic (Q4644567) (← links)
- Quantales and structural rules (Q4716049) (← links)
- Abstract machines, optimal reduction, and streams (Q5108536) (← links)
- A Deflationary Account of the Truth of the Gödel Sentence $$\mathcal{G}$$ (Q5213627) (← links)
- (Q5285689) (← links)
- (Q5365501) (← links)
- Linguistic application of first order intuitionistic linear logic (Q5946340) (← links)
- Abduction as deductive saturation: a proof-theoretic inquiry (Q6145029) (← links)
- FRACTIONAL-VALUED MODAL LOGIC (Q6148465) (← links)
