Human edited web directory based on the DMOZ data. To find out more about this project please use the top main menu.
Related categories 1
Sites 3
Loading new listings for you to review...
- Logic and Artificial Intelligence Report by Selmer Bringsjord, discussing the history of Artificial Intelligence, and its close relationship to work in logic.
- Conceptanalysis, Language and Logic Short review to the history and the founders of conceptanalysis. Discusses the scheme of languages, logic and abstractions and presents a 2-level theory of science's language.
- Critics of the Model Theory of Deduction Which approach to formalism better matches our normal reasoning, proof theory or model theory? Resource page concerned with this controversy maintained by Ruth Byrne.