Back to Results
First PageMeta Content
Mathematics / Boolean algebra / Proof theory / Deduction / Logical connectives / Natural deduction / Admissible rule / Sheffer stroke / Sequent calculus / Logic / Mathematical logic / Propositional calculus


Sheffer’s Stroke: a study in proof-theoretic harmony Stephen Read Department of Logic and Metaphysics University of St Andrews Fife KY16 9AL
Add to Reading List

Document Date: 2012-06-21 07:05:54

Open Document

File Size: 316,54 KB

Share Result on Facebook

Company

Gentzen / Sheffer / /

/

Event

Reorganization / Product Issues / Business Partnership / Product Recall / /

Facility

Metaphysics University / /

IndustryTerm

classical and intuitionistic systems / /

MusicAlbum

U.K. / /

Organization

Logic and Metaphysics University / Stephen Read Department of Logic / /

Person

Cut / Prior / Roy Dyckhoff / Stephen Read / /

Product

introduction-rules / S2 / /

ProvinceOrState

Rhode Island / /

SocialTag