The following pages link to Linear logic (Q579249):
Displaying 50 items.
- A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic (Q1398479) (← links)
- Ramification and causality (Q1399132) (← links)
- A linear logical framework (Q1400718) (← links)
- Operational equivalence for interaction nets. (Q1401297) (← links)
- Linear logic and elementary time (Q1401946) (← links)
- Introduction to computability logic (Q1408853) (← links)
- Quine and Slater on paraconsistency and deviance (Q1411358) (← links)
- Some points in formal topology. (Q1427787) (← links)
- Non-commutative logic. III: Focusing proofs. (Q1427855) (← links)
- Domain theory for concurrency (Q1434357) (← links)
- Connection methods in linear logic and proof nets construction (Q1575926) (← links)
- Efficient resource management for linear logic proof search (Q1575929) (← links)
- Proof-search in type-theoretic languages: An introduction (Q1575935) (← links)
- Weight of the comprehension axiom in a theory based on logic without contractions (Q1582825) (← links)
- Interaction nets for linear logic (Q1583245) (← links)
- Proof nets, garbage, and computations (Q1589650) (← links)
- The points and diameters of quantales (Q1617061) (← links)
- Multiparty session types, beyond duality (Q1647963) (← links)
- Contraction, infinitary quantifiers, and omega paradoxes (Q1670488) (← links)
- Lewis meets Brouwer: constructive strict implication (Q1688950) (← links)
- Natural deduction for bi-intuitionistic logic (Q1693596) (← links)
- A theory of truthmaker content. I: Conjunction, disjunction and negation (Q1696468) (← links)
- Choreographies, logically (Q1699421) (← links)
- A semantic framework for proof evidence (Q1701039) (← links)
- Quantale algebras as lattice-valued quantales (Q1701738) (← links)
- The cut operation on matrix factorisations (Q1703603) (← links)
- Adding logic to the toolbox of molecular biology (Q1705298) (← links)
- Naive structure, contraction and paradox (Q1708466) (← links)
- Generalized approximations of \(( \in ,\in \vee q) \)-fuzzy ideals in quantales (Q1715731) (← links)
- On the decision problem for MELL (Q1733062) (← links)
- The shuffle quasimonad and modules with differentiation and integration (Q1744374) (← links)
- Normalization of N-graphs via sub-N-graphs (Q1744401) (← links)
- From cut-free calculi to automated deduction: the case of bounded contraction (Q1744444) (← links)
- Hybrid and subexponential linear logics (Q1744445) (← links)
- A partial solution to an open problem of Amadio and Curien (Q1753999) (← links)
- Modularity of proof-nets. Generating the type of a module. (Q1766921) (← links)
- On the expressive power of abstract categorial grammars: Representing context-free formalisms (Q1770834) (← links)
- Paraconsistent informational logic (Q1775866) (← links)
- Combining classical logic, paraconsistency and relevance (Q1775868) (← links)
- \(\bigstar\)-autonomous lattices (Q1780899) (← links)
- Compositionality for quantitative specifications (Q1797783) (← links)
- A theory of sequentiality (Q1802073) (← links)
- Generating plans in linear logic. I: Actions as proofs (Q1802077) (← links)
- Generating plans in linear logic. II: A geometry of conjunctive actions (Q1802078) (← links)
- Proof nets of PN as graphs (Q1805403) (← links)
- Models of linear logic (Q1807458) (← links)
- A characterization theorem on the rotation construction for triangular norms (Q1811574) (← links)
- MV-algebras embedded in a CL-algebra (Q1818106) (← links)
- On the logic of unification (Q1823935) (← links)
- Poset-valued sets or how to build models for linear logics (Q1826627) (← links)
