The following pages link to Marcello D'Agostino (Q281147):
Displaying 27 items.
- Informational semantics, non-deterministic matrices and feasible deduction (Q281148) (← links)
- Semantics and proof-theory of depth bounded Boolean logics (Q385021) (← links)
- A logical calculus for controlled monotonicity (Q472804) (← links)
- The enduring scandal of deduction. Is propositional logic really uninformative? (Q833033) (← links)
- What's so special about Euclidean distance? A characterization with applications to mobility and spatial voting (Q839617) (← links)
- An informational view of classical logic (Q897935) (← links)
- Are tableaux an improvement on truth-tables? Cut-free proofs and bivalence (Q1314288) (← links)
- A generalization of analytic deduction via labelled deductive systems. I: Basic substructural logics (Q1344886) (← links)
- Grafting modalities onto substructural implication systems (Q1370459) (← links)
- Adding logic to the toolbox of molecular biology (Q1705298) (← links)
- Classical logic, argument and dialectic (Q1711878) (← links)
- A logic of non-monotonic interactions (Q1948286) (← links)
- Chrysippus' logic in a natural deduction setting (Q2094135) (← links)
- The measurement of rank mobility (Q2271381) (← links)
- Normality, non-contamination and logical depth in classical natural deduction (Q2307304) (← links)
- (Q2753597) (← links)
- (Q2753602) (← links)
- (Q2973406) (← links)
- (Q3007254) (← links)
- (Q3584010) (← links)
- The Taming of the Cut. Classical Refutations with Analytic Cut (Q4304496) (← links)
- A rational account of classical logic argumentation for real-world agents (Q4576170) (← links)
- Fibred tableaux for multi-implication logics (Q4645223) (← links)
- (Q4895423) (← links)
- (Q4946231) (← links)
- (Q5039098) (← links)
- Cut-Based Abduction (Q5504120) (← links)