NOMINALIZING QUANTIFIERS
NEIGHBORHOODS FOR ENTAILMENT
QUINE AND SLATER ON PARACONSISTENCY AND DEVIANCE
EXTENDED QUANTUM LOGIC