ludics

URI: https://gptkb.org/entity/ludics

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:philosophy
gptkbp:developedBy	gptkb:Jean-Yves_Girard
gptkbp:field	gptkb:logic gptkb:philosophy
gptkbp:focusesOn	games meaning interaction
gptkbp:influencedBy	gptkb:game_semantics proof theory
gptkbp:introducedIn	2001
gptkbp:publishedIn	gptkb:The_Blind_Spot:_Lectures_on_Logic
gptkbp:relatedTo	gptkb:linear_logic
gptkbp:bfsParent	gptkb:Jean-Yves_Girard
gptkbp:bfsLayer	6
https://www.w3.org/2000/01/rdf-schema#label	ludics