Tag:Sequent-calculus

From Wikipedia, the free encyclopedia

Jump to: navigation, search

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

Retrieved from "http://en.wikipedia.org/wiki/Tag:Sequent-calculus"

Views

Personal tools

NOTE: This is just a prototype of tag-based navigation on Wikipedia. Visit Wikipedia for the online encyclopedia.Log in / create account

Search

Toolbox