Center for Intelligent Systems of Binghamton University. Bart Kosko at the Signal and Image Processing Institute of the University of Southern California. Intelligent Fuzzy Systems Laboratory in the Department of Industrial Engineering at the University of Toronto. Internet Fuzzy Logic Repository at the Institute for Telecommunication Sciences. Game Theory Also known as decision theory , this branch of logic combines probability theory with the the value of certain outcomes.
Most deductive logic assumes that a proposition is either true or false .
Many-valued logic defines that assumption. This is the study of the logical foundations of mathematics. A fascinating discipline, but you really must enjoy squiggles in your text to enjoy it. Much of this list is borrowed from Boris Piwinger's list. Modal Logic Modal logic concerns the logic of possibility and necessity.