A constructive game semantics for the language of linear logic

DOI10.1016/S0168-0072(97)00046-8MaRDI QIDQ1361252zbMATHOpenAlexFDO

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

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)

Recommendations

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

Cites work

• scientific article; zbMATH DE number 3700784 (Why is no real title available?)
• scientific article; zbMATH DE number 1215498 (Why is no real title available?)
• scientific article; zbMATH DE number 3190338 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• A game semantics for linear logic
• Dialogspiele als Semantische Grundlage von Logikkalkülen
• Games and full completeness for multiplicative linear logic
• Linear logic

Cited in

(9)

• A game semantics for linear logic
• The logic of tasks
• Games and full completeness for multiplicative linear logic
• From truth to computability. I.
• A parallel game semantics for linear logic
• Introduction to computability logic
• The propositional logic of elementary tasks
• scientific article; zbMATH DE number 1740317 (Why is no real title available?)
• Game semantics and the manifestation thesis

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)