An Exploration of the Ramifications of the Re-conceptualization of Entailment. By revamping the field of deductive logic, the project will enhance the already solid international reputation Australia has in this area. The level of innovation in the work would set an example to other researchers and help to promote innovation in Australia. The project will provide more meaningful and accurate applications of logic in computer science, philosophy and mathematics, and engender smarter use of inform ....An Exploration of the Ramifications of the Re-conceptualization of Entailment. By revamping the field of deductive logic, the project will enhance the already solid international reputation Australia has in this area. The level of innovation in the work would set an example to other researchers and help to promote innovation in Australia. The project will provide more meaningful and accurate applications of logic in computer science, philosophy and mathematics, and engender smarter use of information. There would also be benefits to the teaching of logic in Australia, with the development of sharper analytical skills in students, and the project would lay the groundwork for a textbook on the new logic.Read moreRead less