Better Results, Faster...

  • Topodia makes researching easier and more intuitive
  • Our technology does the hard work for you
  • Collaborate with others who share similar interests
Login to Topodia Login Password
forgot your password?
Quick Facts About Topodia
  • Topodia saves you clicking through dozens of unwanted Google links looking for results
  • Topodia lets you provide expertise to friends and to find people with similar interests
  • We work closely with NLP experts to deliver the most relevent search results possible
  • Topodia uses Natural Language Processing to analyse documents
Download Topodia

Term: theorems


Topics from Topodia matching the term "theorems"
Logic and Foundations
computability logic , del , formal language , theorems , system
This category is about mathematical logic and foundations of mathematics. (So it roughly corresponds to category 03-XX in the 1991 Mathematical Sciences Classification.) Major related subjects outside mathematics are computer science at one end, and philosophical logic at the other. If you are looking for basic, non-technical information on logic, you may want to look at the subcategories Encylopedia Articles and Educational Resources. If you think your site or one that you have come across fits here: please submit it. If not sure give it to us anyway ... we will do our best to find where it belongs.
Temporal Logic
temporal logic , tense logic , tense operators , sep , properties
Temporal logic is a form of modal logic in which the modal operators are used to denote the truth of a statement in the future or past. Application areas include linguistics and computer science, in particular program verification.