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