Tag:Proof-theory

From Wikipedia, the free encyclopedia

Related Tags

Articles

• Sequent calculus (1)
  logic math calculus sequent wikipedia research proof-theory sequence prolog pl>lisp>qi wiki-entry wikipediapage wikipedia-entry people-richard_gentzen sequent-calculus sequent-calculi-lk logics gentzen-systems gentzen deduction csci499h getzen haskell-sequent-calculus mathematics mathematical-logic lk haskell-types nonbeard
• Metamathematics (1)
  math metamathematics mathematics wikipedia mind intelligence culture proof-theory referencemaps wikipediapage philosophy %5Bwikipedia_article%5D cognitive_science language logic metamathematical-frameworks
• Proof theory (1)
  math logic mathematics wikipedia theory proof maths referencemaps wikipediapage proofs proof-theory lambda pillar foundation