9 citations · 22 across the 12 of their papers we have counts for
1 paper · 2 filters
Benoît Jubin
We give a normal five-valued truth-table proving independence of one of the axioms in Robinson's set of axioms for propositional calculus from 1968, answering a question raised in…