scientific article; zbMATH DE number 786485
From MaRDI portal
Publication:4842966
Recommendations
- A syntax for linear logic
- The semantics and proof theory of linear logic
- Some semantical aspects of linear logic
- Some Syntactical Observations on Linear Logic
- Linear logic as a logic of computations
- Linear logic
- scientific article; zbMATH DE number 1086632
- scientific article; zbMATH DE number 1104361
- Linear logic in computer science
- scientific article; zbMATH DE number 1292302
Cited in
(only showing first 100 items - show all)- A geometrical procedure for computing relaxation
- Plans, actions and dialogues using linear logic
- Security protocols: from linear to classical logic by abstract interpretation
- The semantics and proof theory of linear logic
- Prolegomena of a logic of causality and dynamism
- Linear logic as a logic of computations
- Semantic data modelling using linear logic
- Interaction combinators
- Experiments in linear natural deduction
- Glueing and orthogonality for models of linear logic
- Towards a semantics of proofs for non-commutative logic: Multiplicatives and additives
- Handsome proof-nets: Perfect matchings and cographs
- Quine and Slater on paraconsistency and deviance
- Connection methods in linear logic and proof nets construction
- Proof-search in type-theoretic languages: An introduction
- Parallel and serial hypercoherences
- Interaction nets for linear logic
- Linear logic I. The Linear Logic 96 Tokyo Meeting, Mita Campus of Keio Univ., Tokyo, Japan, March 28 -- April 2, 1996
- A uniform semantic proof for cut-elimination and completeness of various first and higher order logics.
- Adding logic to the toolbox of molecular biology
- MV-algebras embedded in a CL-algebra
- Stratified coherence spaces: A denotational semantics for light linear logic
- \(\mathbb{Z}\)-modules and full completeness of multiplicative linear logic
- Encoding linear logic with interaction combinators
- Softness of MALL proof-structures and a correctness criterion with Mix
- On phase semantics and denotational semantics in multiplicative-additive linear logic
- Proof nets for classical logic
- Linear logic in computer science
- Syllogisms in rudimentary linear logic, diagrammatically
- From natural to formal language: a case for logical pluralism
- Noncontractive classical logic
- Proof diagrams for multiplicative linear logic: syntax and semantics
- How the structure of system problems influences system behavior
- Strong planning under uncertainty in domains with numerous but identical elements (a generic approach)
- Instability and contraction. \textit{Méditations hégéliennes}. I
- Linear syntax for communicating elementary mathematics
- Geometrical semantics for linear logic (multiplicative fragment)
- The decidability of the intensional fragment of classical linear logic
- Sequential algorithms and strongly stable functions
- On structural contraction and why it fails
- Proof-search and proof nets in mixed linear logic
- True concurrency of deep inference proofs
- Polar type inference with intersection types and
- Relational semantics for a fragment of linear logic
- Which Logic for the Radical Anti-realist?
- Linear Logic and Strong Normalization
- The free exponential modality of probabilistic coherence spaces
- A simplified semantics for a fragment of intuitionistic linear logic
- Proofs, denotational semantics and observational equivalences in Multiplicative Linear Logic
- A micrological study of negation
- Light Linear Logic with Controlled Weakening
- scientific article; zbMATH DE number 4091500 (Why is no real title available?)
- Modeling linear logic with implicit functions
- Some Syntactical Observations on Linear Logic
- Extending the Curry-Howard interpretation to linear, relevant and other resource logics
- Light linear logics with controlled weakening: expressibility, confluent strong normalization
- scientific article; zbMATH DE number 1231517 (Why is no real title available?)
- scientific article; zbMATH DE number 1231527 (Why is no real title available?)
- Logique, effectivité et faisabilité
- Linear Logic and Exceptions
- Some Properties of Linear Logic Proved by Semantic Methods
- Some semantical aspects of linear logic
- RASP and ASP as a fragment of linear logic
- Judgement aggregation in non-classical logics
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
- On Banach spaces of sequences and free linear logic exponential modality
- Unified semantics and proof system for classical, intuitionistic and affine logics
- scientific article; zbMATH DE number 218517 (Why is no real title available?)
- scientific article; zbMATH DE number 1361538 (Why is no real title available?)
- scientific article; zbMATH DE number 4767 (Why is no real title available?)
- scientific article; zbMATH DE number 786486 (Why is no real title available?)
- Reference counting as a computational interpretation of linear logic
- The emptiness of intersection problem for languages of \(k\)-valued categorial grammars (classical and Lambek) is undecidable
- Object calculi in linear logic
- Connecting sequent calculi with Lorenzen-style dialogue games
- Linear logic in normed cones: probabilistic coherence spaces and beyond
- scientific article; zbMATH DE number 7561616 (Why is no real title available?)
- On the unification of classical, intuitionistic and affine logics
- Proofs, reasoning and the metamorphosis of logic
- Computational ludics
- Linear logic as a tool for planning under temporal uncertainty
- Modular, higher order cardinality analysis in theory and practice
- Monoidal logics: completeness and classical systems
- Collaborative planning with confidentiality
- A logical basis for quantum evolution and entanglement
- Extended Lambek calculi and first-order linear logic
- Exploring the gap between linear and classical logic
- Linear logic propositions as session types
- Linear Logic Properly Displayed
- A syntax for linear logic
- On phase semantics and denotational semantics: The exponentials
- Parsing MELL proof nets
- Encoding Hamiltonian circuits into multiplicative linear logic
- Making first order linear logic a generating grammar
- Coherent differentiation
- Relational Models for the Lambek Calculus with Intersection and Constants
- Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications
- Cover systems for the modalities of linear logic
- Categorical approaches to non-commutative fuzzy logic
- Proof-theoretic semantics for intuitionistic multiplicative linear logic
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4842966)
