Pātuhitia tēnei: A theory of formal deducibility