Natural 3-valued logic—characterization and proof theory
Journal of Symbolic Logic
Proof-complexity results for nonmonotonic reasoning
ACM Transactions on Computational Logic (TOCL)
Strongly equivalent logic programs
ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
Sequent calculi for propositional nonmonotonic logics
ACM Transactions on Computational Logic (TOCL)
Classical Gentzen-Type Methods in Propositional Many-Valued Logics
ISMVL '01 Proceedings of the 31st IEEE International Symposium on Multiple-Valued Logic
Accepting-rejecting propositions from accepted-rejected propositions: A unifying overview
International Journal of Intelligent Systems - Bipolar Representations of Information and Preference Part 2: Reasoning and Learning
Hi-index | 0.00 |
While the purpose of conventional proof calculi is to axiomatise the set of valid sentences of a logic, refutation systems axiomatise the invalid sentences. Such systems are relevant not only for proof-theoretic reasons but also for realising deductive systems for nonmonotonic logics. We introduce Gentzen-type refutation systems for two basic three-valued logics and we discuss an application of one of these calculi for disproving strong equivalence between answer-set programs.