Back to Results
First PageMeta Content
Cut-elimination theorem / Sequent / First-order logic / Linear logic / Craig interpolation / Structural rule / Propositional calculus / Rule of inference / Well-formed formula / Logic / Mathematical logic / Proof theory


ANNAUOF PUREAND APPLIEDLOGIC EISBVIER Annals of Pure and Applied Logic[removed]299
Add to Reading List

Document Date: 2009-09-10 07:50:35

Open Document

File Size: 3,47 MB

Share Result on Facebook

City

Paris / /

Company

Elsevier Science B.V. / A (edges for B C AVC (AVC)AB / /

Country

France / /

Currency

USD / /

/

IndustryTerm

proof systems / /

OperatingSystem

Sequent / /

Person

Spiro-Giorgio Mantzivis Abstract / Rohit Parikh / Alexander Razborov / Melvin Fitting / Az / Stephen Semmes / Sam Buss / /

/

Position

author / /

Technology

Av / simulation / artificial intelligence / ale / /

SocialTag