Abductive consequence relations

We explore a family of supraclassical consequence relations obtained by varying the criteria according to which counterexamples to classical entailment may be deemed tolerable. This provides a different perspective on the rational consequence relations ...

The present paper aims at a synthesis of belief revision theory with the Sneed formalism known as the structuralist theory of science. This synthesis is brought about by a dynamisation of classical structuralism, with an abductive inference rule and ...

A default consequence relation is a well-behaved collection of conditional assertions (defaults). A default conditional $\alpha |\sim \beta$ is read as ‘ifα, then normallyβ’ and can be given several interpretations, including a ‘size’-oriented one: ‘in mostα-...