Keywords: 03B70; 03F52; 68Q55; 37A40; Linear logic; Dynamic semantics; Denotational semantics; Interaction graphs; Geometry of interaction; Measurable dynamics;
مقالات ISI (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: 03F52; 18A15; 18D10; 18D15; Linear logic; Tensorial logic; Dialogue games; Dialogue categories; Linearly distributive categories; Chiralities;
Keywords: 68Q55; 03B70; 03F52; 18C50Game semantics; Full completeness; History-sensitive strategies; Sequentiality
The relational model is injective for multiplicative exponential linear logic (without weakenings)
Keywords: 03F05; 03F07; 03F52; Linear logic; Proof-nets; Denotational semantics; Injective model;
Unification in linear temporal logic LTL
Keywords: 03B44; 03B70; 03F52; Unification; Linear temporal logic; Unification type;
Order-enriched categorical models of the classical sequent calculus
Keywords: 03B05; 03F03; 03G30; 03F05; 03G05; 03F52
Polarized and focalized linear and classical proofs
Keywords: 03F05; 03F07; 03F52; Classical logic; Linear logic; Cut-elimination; Proof-nets; Denotational semantics; Polarization; Focalization; Reversion;