VSL 2014: VIENNA SUMMER OF LOGIC 2014

This page contains an index consisting of author-provided keywords.

C
classical first-order logic	First-order Proofs Without Syntax: Summary of Work in Progress
combinatorial proof	First-order Proofs Without Syntax: Summary of Work in Progress
contraction	Substructural Cut Elimination
correctness criterion	A Correctness Criterion Free from Switchings
cut elimination	Substructural Cut Elimination
D
Danos-Regnier criterion	A Correctness Criterion Free from Switchings
Dependency graphs	A Correctness Criterion Free from Switchings
G
Gentzen	First-order Proofs Without Syntax: Summary of Work in Progress
Graphs	A Correctness Criterion Free from Switchings
I
Interaction	Multiplicative Decomposition of Behaviours in Ludics
L
linear logic	A Correctness Criterion Free from Switchings Weak topologies for Linear Logic Multiplicative Decomposition of Behaviours in Ludics
linear time complexity	First-order Proofs Without Syntax: Summary of Work in Progress
Ludics	Multiplicative Decomposition of Behaviours in Ludics
M
MLL	A Correctness Criterion Free from Switchings
N
Normalisation paths	Multiplicative Decomposition of Behaviours in Ludics
P
proof net	First-order Proofs Without Syntax: Summary of Work in Progress
proof nets	A Correctness Criterion Free from Switchings
proofs without syntax	First-order Proofs Without Syntax: Summary of Work in Progress
Q
Quantitative semantics	Weak topologies for Linear Logic
S
sequent calculus	First-order Proofs Without Syntax: Summary of Work in Progress
substructural logic	Substructural Cut Elimination
T
Topological vector spaces	Weak topologies for Linear Logic

Disclaimer | Powered by EasyChair Smart Program