Ludics
id:
ludics-312-235524
title:
Ludics
text:
In proof theory, ludics is an analysis of the principles governing inference rules of mathematical logic. Key features of ludics include notion of compound connectives, using a technique known as focusing or focalisation, and its use of locations or loci over a base instead of propositions. More precisely, ludics tries to retrieve known logical connectives and proof behaviours by following the paradigm of interactive computation, similarly to what is done in game semantics to which it is closely
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Ludics
date created:
date modified:
2021-10-29T12:07:14Z
main entity:
{"identifier":"Q6698793","url":"https://www.wikidata.org/entity/Q6698793"}
image:
fields total:
13
integrity:
13