On Inconsistency and Unsatisfiability
    Download PDF
Till Mossakowski,Lutz Schroder. On Inconsistency and Unsatisfiability. International Journal of Software and Informatics, 2015,9(2):141~152
Hits: 1460
Download times: 861
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).
keywords:inconsistency  unsatis ability  soundness  completeness  paraconsistency  institution
View Full Text  View/Add Comment  Download reader

 

 

more>>  
Visitor:1597662
Top Paper  |  FAQ  |  Guest Editors  |  Email Alert  |  Links  |  Copyright  |  Contact Us

© Copyright by Institute of Software, the Chinese Academy of Sciences
ICP: Jing ICP Bei No.10016592