A system of logic