The structure of first-order causality

Game semantics describe the interactive behaviour of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing dependencies induced by quantifications in first-order propositional logic. One of the main difficulties that has to be f...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Mathematical structures in computer science 2011-02, Vol.21 (1), p.65-110
1. Verfasser:	MIMRAM, SAMUEL
Format:	Artikel
Sprache:	eng
Schlagworte:	Atomic structure Category Theory Causality Combinatorial analysis Computational mathematics Computer Science Computer Science and Game Theory Games Logic Logic in Computer Science Mathematical analysis Mathematical models Mathematics Proof theory Proving Semantics Strategy
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!