This volume is located in a cross-disciplinary ?eld bringing together mat- matics, logic, natural science and philosophy. Re?ection on the e?ectiveness of proof

A logic is called 'paraconsistent' if it rejects the rule called 'ex contradictione quodlibet', according to which any conclusion follows from inconsistent prem

This volume is dedicated to Prof. Dag Prawitz and his outstanding contributions to philosophical and mathematical logic. Prawitz's eminent contributions to stru

How do we get new knowledge? Following the maverick tradition in the philosophy of science, Carlo Cellucci gradually came to the conclusion that logic can only

Composed of papers presented at the 10th conference on Multiphase flow this book presents the latest research on the subject. The research included in this volu