What is a Theory ?
Not on the map. Why?
Abstract (arXiv)
Deduction modulo is a way to express a theory using computation rules instead of axioms. We present in this paper an extension of deduction modulo, called Polarized deduction modulo, where some rules can only be used at positive occurrences, while others can only be used at negative ones. We show that all theories in propositional calculus can be expressed in this framework and that cuts can always be eliminated with such theories.
Key facts. Cited by 1 paper in the map (data through 7 Oct 2026). First posted on arXiv 25 May 2023.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2026: 1.
1 paper.