FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

A
Atomic flows	Proof complexity of deep inference: a survey (PDF, talk)
B
bounded arithmetic	Proof complexity of deep inference: a survey (PDF, talk)
C
calculus of structures	Truely Concurrent Processes in the Calculus of Structures (PDF, talk)
Categorical Logic	Some incoherent musings on deep inference and combinatorial proofs (PDF, talk)
classical logic	An introduction to deep inference (PDF, talk) Some incoherent musings on deep inference and combinatorial proofs (PDF, talk)
combinatorial proofs	Some incoherent musings on deep inference and combinatorial proofs (PDF, talk)
Contraction	Proof complexity of deep inference: a survey (PDF, talk)
D
deep inference	An introduction to deep inference (PDF, talk) Some incoherent musings on deep inference and combinatorial proofs (PDF, talk) Proof complexity of deep inference: a survey (PDF, talk) Truely Concurrent Processes in the Calculus of Structures (PDF, talk) Deep-Inference Intersection Types (PDF, talk) Deep Inference, Herbrand's Theorem and Expansion Proofs (PDF, talk)
E
expansion proofs	Deep Inference, Herbrand's Theorem and Expansion Proofs (PDF, talk)
F
first-order combinatorial proofs	Some incoherent musings on deep inference and combinatorial proofs (PDF, talk)
first-order logic	Deep Inference, Herbrand's Theorem and Expansion Proofs (PDF, talk)
H
Herbrand's theorem	Deep Inference, Herbrand's Theorem and Expansion Proofs (PDF, talk)
I
intersection types	Deep-Inference Intersection Types (PDF, talk)
intuitionistic combinatorial proofs	Some incoherent musings on deep inference and combinatorial proofs (PDF, talk)
L
lambda-calculus	An introduction to deep inference (PDF, talk) Deep-Inference Intersection Types (PDF, talk)
linear distributivity	Some incoherent musings on deep inference and combinatorial proofs (PDF, talk)
linear logic	Some incoherent musings on deep inference and combinatorial proofs (PDF, talk)
logic	Nested sequents for modal logics and beyond (PDF, talk)
N
nested sequents	Nested sequents for modal logics and beyond (PDF, talk)
nested systems	Sequentialising nested systems (PDF, talk)
normalisation	Two Unifying Structural Principles (PDF, talk)
P
process calculi	Truely Concurrent Processes in the Calculus of Structures (PDF, talk)
proof complexity	Two Unifying Structural Principles (PDF, talk) Proof complexity of deep inference: a survey (PDF, talk)
proof semantics	Two Unifying Structural Principles (PDF, talk)
Proof theory	An introduction to deep inference (PDF, talk) Two Unifying Structural Principles (PDF, talk) Sequentialising nested systems (PDF, talk) Nested sequents for modal logics and beyond (PDF, talk)
S
sequent calculus	Sequentialising nested systems (PDF, talk)
structural proof theory	Deep Inference, Herbrand's Theorem and Expansion Proofs (PDF, talk)
T
true concurrency	Truely Concurrent Processes in the Calculus of Structures (PDF, talk)

Disclaimer | Powered by EasyChair Smart Program