9 citations · 22 across the 12 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2022
Independence questions in a finite axiom-schematization of first-order logic
Benoit Jubin
We review some independence results in a finite axiom-schematization of classical first-order logic introduced by Norman Megill. We also prove that a certain axiom scheme of this s…
math.LO2021
On the independence of Robinson's set of axioms for propositional calculus
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…