Syllogism is defined as:
"All A are B", and "All C are A", thus "All C are B".
For example:
"All birds have features", "Penguins are birds", thus "Penguins have feather"
How do we represent this logic in mathematics? To which mathematical branch it belongs?