The propositional logic of elementary tasks

DOI10.1305/ndjfl/1038234610zbMath1015.03027OpenAlexW1998369056MaRDI QIDQ1861137

Giorgi Japaridze

Publication date: 31 July 2003

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1038234610

zbMATH Keywords

linear logicgame semantics

Mathematics Subject Classification ID

"Logic+in+artificial+intelligence"&go=Go Logic in artificial intelligence (68T27) "Logic+in+computer+science"&go=Go Logic in computer science (03B70) "Substructural+logics+%28including+relevance%2C+entailment%2C+linear+logic%2C+Lambek+calculus%2C+BCK+and+BCI+logics%29"&go=Go Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (2)

Introduction to computability logic ⋮ From truth to computability. I.

Cites Work

• Linear logic
• A game semantics for linear logic
• A constructive game semantics for the language of linear logic

This page was built for publication: The propositional logic of elementary tasks