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 -calculus
- The system \({\mathcal F}\) of variable types, fifteen years later
Cited in
(only showing first 100 items - show all)- On classical nonassociative Lambek calculus
- Modeling linear logic with implicit functions
- Self-referentiality of Brouwer-Heyting-Kolmogorov semantics
- What is relevance logic?
- On Compositionality of Dinatural Transformations
- Classical \(F_{\omega}\), orthogonality and symmetric candidates
- Enumerating Independent Linear Inferences
- The logic of tasks
- Semantical analysis of weak Kleene logics
- Structural rules and algebraic properties of intersection types
- A fresh view of linear logic as a logical framework
- From QBFs to \textsf{MALL} and back via focussing
- SN and CR for free-style LKtq: linear decorations and simulation of normalization
- Some lattice models of bilinear logic
- Assertion, Denial and Non-classical Theories
- Resource-distribution via Boolean constraints (extended abstract)
- Supercover semantics for deontic action logic
- scientific article; zbMATH DE number 4168913 (Why is no real title available?)
- Execution time of λ-terms via denotational semantics and intersection types
- Classical (co)recursion: Mechanics
- Study of behaviours via visitable paths
- A coding theoretic study of MLL proof nets
- Contraction, infinitary quantifiers, and omega paradoxes
- On Hilbert's axiomatics of propositional logic
- Logical foundations of evidential reasoning with contradictory information
- A logical framework combining model and proof theory
- Linear resources in Isabelle/HOL
- The geometry of non-distributive logics
- The finite model property for various fragments of intuitionistic linear logic
- Encoding linear logic with interaction combinators
- Quantales, observational logic and process semantics
- Proof diagrams for multiplicative linear logic
- scientific article; zbMATH DE number 7559292 (Why is no real title available?)
- scientific article; zbMATH DE number 7089070 (Why is no real title available?)
- N.A. Vasil'ev's logical ideas and the categorical semantics of many-valued logic
- Current trends in substructural logics
- Bunched sequential information
- The eco-cognitive model of abduction. II. Irrelevance and implausibility exculpated
- Focused linear logic and the \(\lambda\)-calculus
- Linear logic for nets with bounded resources
- Proving concurrent constraint programming correct, revisited
- A linear algorithm for MLL proof net correctness and sequentialization
- Correctness of linear logic proof structures is NL-complete
- Linear logic as a tool for planning under temporal uncertainty
- European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988
- An Isbell duality theorem for type refinement systems
- Structural cut elimination. I: Intuitionistic and classical logic
- New Curry-Howard terms for full linear logic
- An exact correspondence between a typed pi-calculus and polarised proof-nets
- Structure of left-continuous triangular norms with strong induced negations (II) Rotation-annihilation construction
- Deductive synthesis of programs with pointers: techniques, challenges, opportunities (invited paper)
- Non-normal modal logics and conditional logics: semantic analysis and proof theory
- Logical consequence and the paradoxes
- A public announcement separation logic
- Constructive classical logic as CPS-calculus
- Coherent phase spaces. Semiclassical semantics
- A micrological study of negation
- On geometry of interaction for polarized linear logic
- May I borrow your logic? (Transporting logical structures along maps)
- Sentential constants in systems near R
- Cyclic extensions of order varieties
- 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000. La Sorbonne, Paris, France, July 23-31, 2000
- Pretopologies and completeness proofs
- Game theoretic analysis of call-by-value computation
- Modal MTL-algebras
- Non decomposable connectives of linear logic
- Polynomial time in untyped elementary linear logic
- Naive \textit{modus ponens}
- Natural 3-valued logics—characterization and proof theory
- The undecidability of k-provability
- The role of structural reasoning in the genesis of graph theory
- A System of Interaction and Structure III: The Complexity of BV and Pomset Logic
- Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic
- Making first order linear logic a generating grammar
- A linear logic programming language for concurrent programming over graph structures
- On the scope of some formulas defining additive connectives in fuzzy logics
- Temporal BI: proof system, semantics and translations
- Chu spaces from the representational viewpoint
- Graded multicategories of polynomial-time realizers
- The undecidability theorem for the Horn-like fragment of linear logic (revisited)
- Displaying and deciding substructural logics. I: Logics with contraposition
- On Banach spaces of sequences and free linear logic exponential modality
- Three faces of natural deduction
- A framework for proof systems
- On intuitionistic proof nets with additional rewrite rules and their approximations
- Interaction nets for linear logic
- Simultaneous rigid E-unification is undecidable
- Specification structures and propositions-as-types for concurrency
- Infinitary logic with infinite sequents: syntactic investigations
- The logic of structures
- Free algebras corresponding to multiplicative classical linear logic and some of its extensions
- BCK-combinators and linear \(\lambda\)-terms have types
- Principal types of BCK-lambda-terms
- A typed calculus based on a fragment of linear logic
- scientific article; zbMATH DE number 7561616 (Why is no real title available?)
- Subexponentials in non-commutative linear logic
- An abstract approach to stratification in linear logic
- A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic
- Operational equivalence for interaction nets.
- Bayesian strategies: probabilistic programs as generalised graphical models
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)
