A constructive game semantics for the language of linear logic

DOI10.1016/S0168-0072(97)00046-8zbMath0882.03057OpenAlexW2030369737MaRDI QIDQ1361252

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

decidabilitylinear logicgame semanticsBCKfirst-order additive-multiplicative logic

Mathematics Subject Classification ID

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

Related Items

Game Semantics and the Manifestation Thesis, Introduction to computability logic, From truth to computability. I., The logic of tasks, The propositional logic of elementary tasks

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• A game semantics for linear logic
• Games and full completeness for multiplicative linear logic
• Dialogspiele als Semantische Grundlage von Logikkalkülen