Publication:3470455
From MaRDI portal
zbMath0695.03012MaRDI QIDQ3470455
No author found.
Publication date: 1989
consistency; forcing; inconsistency; explosion; formalising non-trivial inference from inconsistent premiss sets
03B60: Other nonclassical logic
Related Items
Remarks on the modal logic of Henry Bradford Smith, Measures of inconsistency and defaults, Inconsistency without contradiction, On the completeness of first degree weakly aggregative modal logics, Measuring inconsistency, Direct Dynamic Proofs for the Rescher–Manor Consequence Relations: The Flat Case