A constructive game semantics for the language of linear logic
type: Item
instance of: scholarly article
title: A constructive game semantics for the language of linear logic
zbMATH Open document ID: 0882.03057
DOI: 10.1016/S0168-0072(97)00046-8
author: Giorgi Japaridze
published in: Annals of Pure and Applied Logic
publication date: 1998-02-04T00:00:00Z
review text: A system ET of first-order additive-multiplicative logic is introduced via game semantics and proved decidable. ET contains linear logic and is contained in BCK (linear logic plus weakening). The author notes similarity to a game semantics \(G\) introduced by \textit{A. Blass} [Ann. Pure Appl. Logic 56, 183-220 (1992; Zbl 0763.03008)] and conjectures that the method of the paper under review can be adapted to show the decidability of formulas valid in \(G\).
Mathematics Subject Classification ID: 03F50
Mathematics Subject Classification ID: 68T20
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 03B20
Mathematics Subject Classification ID: 03B60
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 03B25
zbMATH DE Number: 1038667
zbMATH Keywords: first-order additive-multiplicative logic
zbMATH Keywords: game semantics
zbMATH Keywords: linear logic
zbMATH Keywords: BCK
zbMATH Keywords: decidability
reviewed by: G. E. Mints
MaRDI profile type: Publication
cites work: Games and full completeness for multiplicative linear logic
cites work: A game semantics for linear logic
cites work: Linear logic
cites work: Q5812175
cites work: Dialogspiele als Semantische Grundlage von Logikkalkülen
cites work: Q5726697
cites work: Q3893889
cites work: Q4215635
full work available at URL: s0168-0072(97)00046-8
OpenAlex ID: W2030369737
description: scientific article; zbMATH DE number 1038667