share
Linear Logic

source

## share

[Revised entry by Roberto Di Cosmo and Dale Miller on September 16, 2023.
Changes to: Main text, Bibliography]
Linear logic is a refinement of classical and intuitionistic logic. Instead of emphasizing truth, as in classical logic, or proof, as in intuitionistic logic, linear logic emphasizes the role of formulas as resources. To achieve this focus, linear logic does not allow the usual structural rules of contraction and weakening to apply to all formulas but only those formulas marked with certain modals. Linear logic contains a fully involutive negation while maintaining a strong constructive interpretation. Linear logic…

Originally appeared on Stanford Encyclopedia of Philosophy Read More

## What is Disagreement? – Part IV

This is Part 4 of a 4-part series on the academic, and specifically philosophical study of disagreement. In Part 1...

## What is Disagreement? – Part III

This is Part 3 of a 4-part series on the academic, and specifically philosophical study of disagreement. In Part 1...

## What is Disagreement? – Part II

This is Part 2 of a 4-part series on the academic, and specifically philosophical study of disagreement. In Part 1...

## What is Disagreement?

This is Part 1 of a 4-part series on the academic, and specifically philosophical study of disagreement. In this series...

## Decoding the Science: Unraveling the Calculations of Input Distance

Getting Started Calculating input distance is a fundamental concept in various scientific disciplines, including physics, engineering, and mathematics. It involves...

## Unveiling the Insights: Unraveling Frequency Distribution on a Histogram

Welcome to this expert guide to finding frequencies on a histogram. Histograms are graphical representations of the distribution of data...

## philosophybits: “There are some who turn everything into warfare, who would like to conquer others…

philosophybits: “There are some who turn everything into warfare, who would like to conquer others in everything they do. They...

## Exploring Joint Variation: Real-Life Examples Unveiled

Understanding Joint Variation: Examples and Applications Joint variation is a concept from the field of mathematical modeling in science. It...