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	Some incoherent musings on deep inference and combinatorial proofs An introduction to deep inference
combinatorial proofs	Some incoherent musings on deep inference and combinatorial proofs
Contraction	Proof complexity of deep inference: a survey
D
deep inference	Deep Inference, Herbrand's Theorem and Expansion Proofs Some incoherent musings on deep inference and combinatorial proofs An introduction to deep inference Truely Concurrent Processes in the Calculus of Structures Deep-Inference Intersection Types Proof complexity of deep inference: a survey
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	An introduction to deep inference Deep-Inference Intersection Types
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	Two Unifying Structural Principles Proof complexity of deep inference: a survey
proof semantics	Two Unifying Structural Principles
Proof theory	Two Unifying Structural Principles Nested sequents for modal logics and beyond An introduction to deep inference Sequentialising nested systems
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