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...

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

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...

noncommutative logic where exchange, contraction and weakening are discarded. This can be used to model stack-based memory allocation (contrast with linear types...

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

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

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

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

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...

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...

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

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...

logic and games, and Hanno Nickau who addressed the full abstraction problem in programming languages by means of games. New results in linear logic by...

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...

steep and approximately linear, a properly-biased CMOS inverter digital logic gate may be used as a high-gain analog linear amplifier or even combined...

wikidata descriptions as a fallback Linear logic – System of resource-aware logic Ordered logic (linear logic) – logic where the order of operations affects...

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...

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...

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

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...

mathematics, "?" commonly denotes Minkowski's question mark function. In linear logic, the question mark denotes one of the exponential modalities that control...

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

Fuzzy logic is a form of many-valued logic in which the truth value of variables may be any real number between 0 and 1. It is employed to handle the concept...

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

- Joris Ivans. The Diary Film; the linear logic of passing time is used to structure the narrative in either linear or episodic form. Examples: Tarnation...

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

Notator Logic, or Logic, by German software developer C-Lab which later went by Emagic. Apple acquired Emagic in 2002 and renamed Logic to Logic Pro. It...

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...