The following pages link to (Q4842966):
Displaying 50 items.
- A micrological study of negation (Q345707) (← links)
- Modeling linear logic with implicit functions (Q392296) (← links)
- Light linear logics with controlled weakening: expressibility, confluent strong normalization (Q408540) (← links)
- Computational ludics (Q534713) (← links)
- Linear logic as a tool for planning under temporal uncertainty (Q534715) (← links)
- Collaborative planning with confidentiality (Q540688) (← links)
- Categorical approaches to non-commutative fuzzy logic (Q622031) (← links)
- Softness of hypercoherences and MALL full completeness (Q705530) (← links)
- Coherent phase spaces. Semiclassical semantics (Q705538) (← links)
- A categorical semantics for polarized MALL (Q866570) (← links)
- Axioms and models of linear logic (Q915719) (← links)
- Linear logic displayed (Q918548) (← links)
- A geometrical procedure for computing relaxation (Q1011756) (← links)
- Plans, actions and dialogues using linear logic (Q1016033) (← links)
- Security protocols: from linear to classical logic by abstract interpretation (Q1041815) (← links)
- The semantics and proof theory of linear logic (Q1106836) (← links)
- Prolegomena of a logic of causality and dynamism (Q1283141) (← links)
- Linear logic as a logic of computations (Q1326780) (← links)
- Semantic data modelling using linear logic (Q1349996) (← links)
- A constructive game semantics for the language of linear logic (Q1361252) (← links)
- Interaction combinators (Q1368381) (← links)
- Experiments in linear natural deduction (Q1392279) (← links)
- Glueing and orthogonality for models of linear logic (Q1398466) (← links)
- Towards a semantics of proofs for non-commutative logic: Multiplicatives and additives (Q1398470) (← links)
- Handsome proof-nets: Perfect matchings and cographs (Q1398476) (← links)
- Quine and Slater on paraconsistency and deviance (Q1411358) (← links)
- Connection methods in linear logic and proof nets construction (Q1575926) (← links)
- Proof-search in type-theoretic languages: An introduction (Q1575935) (← links)
- Parallel and serial hypercoherences (Q1583243) (← links)
- Interaction nets for linear logic (Q1583245) (← links)
- Linear logic I. The Linear Logic 96 Tokyo Meeting, Mita Campus of Keio Univ., Tokyo, Japan, March 28 -- April 2, 1996 (Q1586203) (← links)
- A uniform semantic proof for cut-elimination and completeness of various first and higher order logics. (Q1603701) (← links)
- Adding logic to the toolbox of molecular biology (Q1705298) (← links)
- MV-algebras embedded in a CL-algebra (Q1818106) (← links)
- Stratified coherence spaces: A denotational semantics for light linear logic (Q1827389) (← links)
- \(\mathbb{Z}\)-modules and full completeness of multiplicative linear logic (Q1840462) (← links)
- Encoding linear logic with interaction combinators (Q1854547) (← links)
- Softness of MALL proof-structures and a correctness criterion with Mix (Q1882627) (← links)
- On phase semantics and denotational semantics in multiplicative-additive linear logic (Q1971797) (← links)
- Proof nets for classical logic (Q1982017) (← links)
- Linear logic in computer science (Q2201109) (← links)
- Syllogisms in rudimentary linear logic, diagrammatically (Q2255209) (← links)
- From natural to formal language: a case for logical pluralism (Q2288262) (← links)
- Noncontractive classical logic (Q2295733) (← links)
- Proof diagrams for multiplicative linear logic: syntax and semantics (Q2331072) (← links)
- How the structure of system problems influences system behavior (Q2362377) (← links)
- Strong planning under uncertainty in domains with numerous but identical elements (a generic approach) (Q2373707) (← links)
- Instability and contraction. \textit{Méditations hégéliennes}. I (Q2420717) (← links)
- Linear syntax for communicating elementary mathematics (Q2470063) (← links)
- Geometrical semantics for linear logic (multiplicative fragment) (Q2500490) (← links)
