Till Mossakowski,Lutz Schroder. On Inconsistency and Unsatisfiability. International Journal of Software and Informatics, 2015,9(2):141~152
Download times: 1443
Abstract:We study inconsistency and unsatis ability and their relation to soundness, completeness, paraconsistency and conservative extension in generic logical systems (formalized as institutions equipped with an entailment system).