Linear logic is a substructural logic proposed by French logician Jean-Yves Girard as a refinement of classical and intuitionistic logic, joining the dualities...

In logic, linear temporal logic or linear-time temporal logic (LTL) is a modal temporal logic with modalities referring to time. In LTL, one can encode...

Noncommutative logic is an extension of linear logic that combines the commutative connectives of linear logic with the noncommutative multiplicative...

Affine logic is a substructural logic whose proof theory rejects the structural rule of contraction. It can also be characterized as linear logic with weakening...

Logic programming is a programming, database and knowledge representation paradigm based on formal logic. A logic program is a set of sentences in logical...

being used exactly once in the order it was introduced. Linear types correspond to linear logic and ensure that objects are used exactly once. This allows...

dialetheism; Quantum logic Relevance logic, linear logic, and non-monotonic logic reject monotonicity of entailment; Non-reflexive logic (also known as "Schrödinger...

American Mathematical Society. 19 (6): 191–194. Girard, Jean-Yves (1987). "Linear logic". Theoretical Computer Science. 50 (1). Elsevier: 1–101. doi:10...

intuitionistic logic known as linear logic, via the so-called Dialectica spaces. Since linear logic is a refinement of intuitionistic logic, the dialectica...

Intuitionistic logic Linear logic Many-valued logic Mathematical logic Metalogic Minimal logic Modal logic Non-Aristotelian logic Non-classical logic Noncommutative...

associated with linear logic. Based on that claim and the fact that the semantics induced a logic properly stronger than (affine) linear logic, Japaridze argued...

associativity. Two of the more significant substructural logics are relevance logic and linear logic. In a sequent calculus, one writes each line of a proof...

various logical systems, including classical logic, intuitionistic logic, linear logic, and modal logic. The approach bears conceptual resemblances to...

réducibilité"). He is also credited with the discovery of Girard's paradox, linear logic, the geometry of interaction, ludics, and (satirically) the mustard watch...

common alternative is the system of linear logic, of which quantum logic is a fragment. Mathematically, quantum logic is formulated by weakening the distributive...

modalities, but can then also be unified in a single type system. Linear type Linear logic Haller, P.; Odersky, M. (2010), "Capabilities for uniqueness and...

given logic. Affine logic Linear logic – System of resource-aware logic Ordered logic (linear logic) Relevance logic – A kind of non-classical logic Separation...

noncommutative logic. The calculus has since been applied to study linear logic, classical logic, modal logic, and process calculi, and many benefits are claimed to...

derivation in linear logic). The first such criterion is the long-trip criterion, which was described by Jean-Yves Girard. Linear logic Ludics Geometry...

Cirquent calculus with that semantics can be seen as a logic of resources that, unlike linear logic, makes it possible to account for resource-sharing. As...

resources and so not rejected by bunched logic. The semantics is also related to the 'phase semantics' of linear logic, but again is differentiated by accepting...

was introduced by Jean-Yves Girard shortly after his work on linear logic. In linear logic, proofs can be seen as various kinds of networks as opposed...

classical logic. Besides classical logic, independence-friendly (IF) logic and certain proper extensions of linear logic and intuitionistic logic also turn...

Attempts to relate actor semantics to algebra and linear logic): Several different actor algebras Linear logic The actor model can be used as a framework for...

temporal logic from computational verb logic. Temporal logic always has the ability to reason about a timeline. So-called "linear-time" logics are restricted...

Journal of Logic and Computation. 24 (3): 615–654. doi:10.1093/logcom/exs025. Ehrhard, Thomas (2016). "Call-By-Push-Value from a Linear Logic Point of View"...

approach is to do both simultaneously. In many systems of relevant logic, as well as linear logic, there are two separate disjunctive connectives. One allows...

Structural rule Weakening Contraction Linear logic Intuitionistic linear logic Proof net Affine logic Strict logic Relevant logic Proof-theoretic semantics Ludics...

λ(k, *) = k (Barr 1979). As such it is a model of Jean-Yves Girard's linear logic (Girard 1987). The more general enriched category Chu(V, k) originally...

Concatenative languages can be made well-suited to an implementation inspired by linear logic where no garbage is ever generated. The first concatenative programming...