FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

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

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

Disclaimer | Powered by EasyChair Smart Program