24 citations · 40 across the 18 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.LO2014
A Superposition Calculus for Abductive Reasoning
Mnacho Echenim, Nicolas Peltier
We present a modification of the superposition calculus that is meant to generate consequences of sets of first-order axioms. This approach is proven to be sound and deductive-comp…
cs.LO2014★ 24 cited
Decidability and Undecidability Results for Propositional Schemata
Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier
We define a logic of propositional formula schemata adding to the syntax of propositional logic indexed propositions and iterated connectives ranging over intervals parameterized b…