Title: Deducibility and Decidability. .