The following pages link to (Q4842966):
Displaying 47 items.
- The decidability of the intensional fragment of classical linear logic (Q2517231) (← links)
- Sequential algorithms and strongly stable functions (Q2570134) (← links)
- On structural contraction and why it fails (Q2693459) (← links)
- Proof-search and proof nets in mixed linear logic (Q2703720) (← links)
- True Concurrency of Deep Inference Proofs (Q2820698) (← links)
- Polar type inference with intersection types and \(\omega\) (Q2842834) (← links)
- Relational semantics for a fragment of linear logic (Q2874885) (← links)
- Which Logic for the Radical Anti-realist? (Q2908756) (← links)
- Linear Logic and Strong Normalization (Q2958373) (← links)
- The Free Exponential Modality of Probabilistic Coherence Spaces (Q2988358) (← links)
- Light Linear Logic with Controlled Weakening (Q3605533) (← links)
- Some Syntactical Observations on Linear Logic (Q3986870) (← links)
- (Q4222829) (← links)
- (Q4222842) (← links)
- Linear Logic and Exceptions (Q4323006) (← links)
- Some Properties of Linear Logic Proved by Semantic Methods (Q4323009) (← links)
- Some semantical aspects of linear logic (Q4353717) (← links)
- RASP and ASP as a fragment of linear logic (Q4583307) (← links)
- Judgement aggregation in non-classical logics (Q4586224) (← links)
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)
- On Banach spaces of sequences and free linear logic exponential modality (Q4611198) (← links)
- Unified Semantics and Proof System for Classical, Intuitionistic and Affine Logics (Q4635871) (← links)
- (Q4699356) (← links)
- (Q4842967) (← links)
- The emptiness of intersection problem for languages of k-valued categorial grammars (classical and Lambek) is undecidable (Q4923557) (← links)
- Object calculi in linear logic (Q4952027) (← links)
- Connecting Sequent Calculi with Lorenzen-Style Dialogue Games (Q5024728) (← links)
- Linear logic in normed cones: probabilistic coherence spaces and beyond (Q5076387) (← links)
- (Q5092325) (← links)
- On the unification of classical, intuitionistic and affine logics (Q5236553) (← links)
- Proofs, Reasoning and the Metamorphosis of Logic (Q5251186) (← links)
- Modular, higher order cardinality analysis in theory and practice (Q5372006) (← links)
- A Logical Basis for Quantum Evolution and Entanglement (Q5414959) (← links)
- Extended Lambek Calculi and First-Order Linear Logic (Q5414971) (← links)
- Linear logic propositions as session types (Q5741566) (← links)
- Linear Logic Properly Displayed (Q5886520) (← links)
- A syntax for linear logic (Q5890063) (← links)
- On phase semantics and denotational semantics: The exponentials (Q5939845) (← links)
- Parsing MELL proof nets (Q5940925) (← links)
- Encoding Hamiltonian circuits into multiplicative linear logic (Q5958784) (← links)
- Making first order linear logic a generating grammar (Q6137829) (← links)
- Coherent differentiation (Q6149933) (← links)
- Relational Models for the Lambek Calculus with Intersection and Constants (Q6178715) (← links)
- Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications (Q6178717) (← links)
- Proof-theoretic semantics for intuitionistic multiplicative linear logic (Q6541162) (← links)
- Universal proof theory: semi-analytic rules and Craig interpolation (Q6614044) (← links)
- Linear-algebraic models of linear logic as categories of modules over \(\Sigma \)-semirings (Q6649497) (← links)
