Back to Results
First PageMeta Content
Mathematics / Kripke semantics / Natural deduction / Modal logic / Propositional calculus / Sequent calculus / First-order logic / Structural proof theory / Proof calculus / Logic / Mathematical logic / Proof theory


Purity through Unravelling Robert Hein and Charles Stewart Technische Universit¨
Add to Reading List

Document Date: 2006-02-22 15:53:09

Open Document

File Size: 202,89 KB

Share Result on Facebook

City

Dresden / /

Currency

pence / /

IndustryTerm

modal logic systems / cut-free pure systems / labelled systems / inference systems / possible solutions / proof systems / natural deduction systems / stronger systems / decision procedures using tableaux algorithms / /

Person

Unravelling Robert Hein / Robert Hein / Charles Stewart Technische Universit / Alex Simpson / /

/

Position

system designer / Prime Minister / /

Product

Sonim XP1 Cellular Phone / /

Technology

decision procedures using tableaux algorithms / /

SocialTag