Abductive reasoning Argumentation theory Associative algebra Category theory Computational symantics Contingency Deductive reaoiing deontic logic Differential algebra Field Formal language Group representation Group theory Homological Inductive reasoning Intuitionistic logic Lattice Linnear algebra Logic Logic programming