A constructive game semantics for the language of linear logic

DOI10.1016/S0168-0072(97)00046-8zbMATH Open0882.03057OpenAlexW2030369737MaRDI QIDQ1361252FDOQ1361252

Authors: Giorgi Japaridze 

Publication date: 4 February 1998

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0168-0072(97)00046-8

Recommendations

• A game semantics for linear logic
• Games and full completeness for multiplicative linear logic
• Some semantical aspects of linear logic

zbMATH Keywords

decidabilitygame semanticslinear logicBCKfirst-order additive-multiplicative logic

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Other nonclassical logic (03B60) Subsystems of classical logic (including intuitionistic logic) (03B20) Decidability of theories and sets of sentences (03B25) Logic in computer science (03B70) Metamathematics of constructive systems (03F50) Semantics in the theory of computing (68Q55)

Cites Work

• Title not available (Why is that?)
• Dialogspiele als Semantische Grundlage von Logikkalkülen
• Linear logic
• Title not available (Why is that?)
• A game semantics for linear logic
• Games and full completeness for multiplicative linear logic
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (9)

• The logic of tasks
• A game semantics for linear logic
• Game Semantics and the Manifestation Thesis
• The propositional logic of elementary tasks
• Introduction to computability logic
• Title not available (Why is that?)
• From truth to computability. I.
• Games and full completeness for multiplicative linear logic
• A parallel game semantics for linear logic

This page was built for publication: A constructive game semantics for the language of linear logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1361252)