Back to Results
First PageMeta Content
Non-classical logic / Linear logic / Quantum logic / Intuitionistic logic / Modal logic / Propositional calculus / Boolean algebra / Function / Interpretation / Logic / Mathematical logic / Mathematics


Linear Logic for Generalized Quantum Mechanics Vaughan Pratt∗ Dept. of Computer Science Stanford University, CA[removed]removed]
Add to Reading List

Document Date: 2003-10-12 15:40:30

Open Document

File Size: 210,24 KB

Share Result on Facebook

Company

Mitsubishi / /

/

Facility

Computer Science Stanford University / /

IndustryTerm

computer-aided design systems / empty product / unitary operators / finite products / joint energy / cartesian product / electronics works / energy / verification systems / /

Movie

We shall see / /

Organization

Stanford University / /

Person

Birkhoff / /

/

Position

representative / /

ProvinceOrState

California / /

SportsLeague

Stanford University / /

Technology

X-ray / CAD / fuzzy logic / /

SocialTag