Linear logic
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 3525107 (Why is no real title available?)
- scientific article; zbMATH DE number 3556029 (Why is no real title available?)
- scientific article; zbMATH DE number 3349775 (Why is no real title available?)
- Normal functors, power series and \(\lambda\)-calculus
- The system \({\mathcal F}\) of variable types, fifteen years later
Cited in
(only showing first 100 items - show all)- Algebraic logic for classical conjunction and disjunction
- Thick Subtrees, Games and Experiments
- On phase semantics and denotational semantics: The exponentials
- Phase semantics for light linear logic
- Alias burying: Unique variables without destructive reads
- Game-theoretic analysis of call-by-value computation
- Quantum computation: from a programmer's perspective
- Propositions as sessions
- A game semantics for linear logic
- The displacement calculus
- scientific article; zbMATH DE number 4173040 (Why is no real title available?)
- Modeling linear logic with implicit functions
- Self-referentiality of Brouwer-Heyting-Kolmogorov semantics
- What is relevance logic?
- A Characterization of Hypercoherent Semantic Correctness in Multiplicative Additive Linear Logic
- On the expressiveness of interaction
- Interaction graphs: graphings
- Unary resolution: characterizing \textsc{Ptime}
- Focussing and proof construction
- The conservation theorem for differential nets
- A stable programming language
- Categorial graphs
- A modal walk through space
- Non-commutative logical algebras and algebraic quantales
- Combining classical logic, paraconsistency and relevance
- Interface synthesis and protocol conversion
- Games and full completeness for multiplicative linear logic
- Games and full abstraction for FPC.
- From truth to computability. I.
- A logical framework combining model and proof theory
- Cut elimination and strong separation for substructural logics: an algebraic approach
- Recovering quantum logic within an extended classical framework
- Coherent phase spaces. Semiclassical semantics
- Figures of dialogue: a view from ludics
- A relational semantics for parallelism and non-determinism in a functional setting
- Light linear logics with controlled weakening: expressibility, confluent strong normalization
- Visible acyclic differential nets. I: Semantics
- Petri nets and bisimulation
- Many concepts and two logics of algorithmic reduction
- Non-uniform hypercoherences
- Interpreting a finitary pi-calculus in differential interaction nets
- On abstract resource semantics and computability logic
- Computation with classical sequents
- Multiplicative conjunction and an algebraic meaning of contraction and weakening
- The taming of recurrences in computability logic through cirquent calculus. I
- Coalgebras, Chu spaces, and representations of physical systems
- The Scott model of linear logic is the extensional collapse of its relational model
- Static typing for a substructural lambda calculus
- An abstract approach to consequence relations
- Proof systems and transformation games
- Linear logic as a logic of computations
- Nonsymmetric \(^{\ast}\)-autonomous categories
- Polarized games
- Light Linear Logic with Controlled Weakening
- Nuclei and conuclei on residuated lattices
- Generalized approximation of substructures in quantales by soft relations
- Natural deduction and coherence for weakly distributive categories
- Functional Interpretations of Intuitionistic Linear Logic
- Displacement logic for anaphora
- Focusing and polarization in linear, intuitionistic, and classical logics
- The complexity of Horn fragments of linear logic
- From multiple sequent for additive linear logic to decision procedures for free lattices
- Big toy models. Representing physical systems as Chu spaces
- The quantic conuclei on quantales
- Categorical proof theory of classical propositional calculus
- Characterization of projective quantales
- Modal companions of intermediate propositional logics
- Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions
- Chu spaces from the representational viewpoint
- Relating toy models of quantum computation: comprehension, complementarity and dagger mix autonomous categories
- A correspondence between maximal abelian sub-algebras and linear logic fragments
- Common knowledge logic in a higher order proof assistant
- When are Two Algorithms the Same?
- Hypersequents, logical consequence and intermediate logics for concurrency
- On derivations of quantales
- A mathematical theory of resources
- Probabilistic coherence spaces as a model of higher-order probabilistic computation
- Linearizing intuitionistic implication
- A computational interpretation of conceptivism
- Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
- Rational mechanics and natural mathematics
- Subtyping for session types in the pi calculus
- Timed Petri nets and temporal linear logic
- A representation theorem for quantales
- Natural 3-valued logics—characterization and proof theory
- A category equivalence for odd Sugihara monoids and its applications
- Combining behavioural types with security analysis
- Topological representation and quantic separation axioms of semi-quantales
- A new constructive logic: classic logic
- On the unity of logic
- Cycling in proofs and feasibility
- Generalized approximations of \(( \in ,\in \vee q) \)-fuzzy ideals in quantales
- Idempotent residuated structures: Some category equivalences and their applications
- Contraction, infinitary quantifiers, and omega paradoxes
- A categorical reduction system for linear logic
- The mix rule
- The parametric continuation monad
- Transcendental syntax I: deterministic case
- Linear Läuchli semantics
- Glueing and orthogonality for models of linear logic
This page was built for publication: Linear logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q579249)
