Unification is probably one of the most important concepts in computer science. If you are not aware, unification is basically the process you undergo to find out how two syntactic objects like and can be the same thing. In this case, you replace with .
What mathematics describes is a long standing issue in philosophy. It is hard to break into this subject, but I hope that my intent can be shared.
Since I am a mathemtics student who is interested in formal systems, I can’t help to feel nervous when my professor says
is a subset of if for all , whenever ,
Rule systems are seen in almost every programming languages paper. They are a tool for conveying very precise notions of computation. In general, is not easy to give a succinct definition of a rule system, but one can be described easily by adopting a specific representation.
A rule system consists of a set of statements of the form
where are propositional schemata. Here, is called the conclusion and are called the premises.