Advertisement

Abstract

Linear logic and its variants, often called substructural logics, have shed light on various new aspects of traditional logic. In this note we shall discuss some of them.

Keywords

Inference Rule Classical Logic White Wine Intuitionistic Logic Linear Logic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Birkhäuser Verlag AG 2008

Authors and Affiliations

  • Mitsuhiro Okada
    • 1
  1. 1.Department of PhilosophyKeio UniversityTokyoJapan

Personalised recommendations