In 1020 logic was mostly a There were also a few mathe’ maticians there, cultivating the logical roots of the mathematical tree. Today, Re ooraiou Theory, Set Theory, Model and Proof Theory, logic’s major subdisciplines, have become full—fledged branches of mathematics. Since the 1970o, the winds of change have been blowing new seeds into the logic garden from computer scienceAIand linguistics. These winds have also uncovered a new topography with many prominences and depths, fertile soil for new logical subjects. These days, if you survey international meetings in computer science and linguistics, you will find that the language of mathematical logic is a lingua franca, that methods of mathematical logic are ubiquitous and that understanding new logics and finding feasible algorithms for implementing their inference procedures play a central role in many disciplines. The emerging areas with an important logic component include inupwrmtivo, declarative and functional programming; verification of programs; ioteraotbm, concurrent, distributed, fault tolerant and real time computing; knowledge—based systems; deductive databases; and VLSI design. Various types of logi are now also playing key roles in the modeling of reasoning in special fields from law to medicine.
KeywordsLogic Programming Predicate Logic Intuitionistic Logic Horn Clause Deductive Database
Unable to display preview. Download preview PDF.