Abstract: A sound and complete Gentzen-typed deduction system is given for a Boolean algebra logic, where the logical connective - is missed and an assignment is a function from the propositional ...

BSc (Hons) Computing and Information Technology degree provides graduates with an excellent foundation in the key areas of modern computing whilst also offering the facility to follow more specialised ...