Linear / Relevant / Substructural / Paraconsistent Logics

      Research / Miscellaneous

      Tutorials / Bibliographies

• Bibliography on Linear Logic and Related Subjects
  Curata da A.S. Troelstra e H. Schellinx, fa parte della Collection of Computer Science Bibliographies.

• Brief Introduction to Linear Logic
  

• Linear Logic Bibliographies
  Lista di bibliografie sull'argomento

• Introduction to Linear Logic
  Tutorial a cura di T. Brauner

• Restall's Bibliography of Relevant and Substructural Logics
  

• Paraconsistent Logic
  Dalla Stanford Encyclopaedia of Philosophy

• Relevance Logic
  Dalla Stanford Encyclopaedia of Philosophy
  

      Related Fields

	Non Classical Logics
	Automated Reasoning

	Logic and Philosophy
	Logic and Mathematics
	Logic and Computer Science
	General Resources