FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK KEYWORD INDEX

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

Shortcuts: ACDFGHILMNPQRSTU
A
automated reasoning
automatic verification
C
classical linear logic
Computability
constraints
constructivism
Curry-Howard correspondence
D
deadlock-freedom
derivationism
DFA
F
FOL
formalization
Free choice sequences
G
Geometry
H
higher-order logic
Hilbert-Gentzen thesis
I
induction
infinitary and cyclic systems
informal proofs
internal and external calculi
Intuitionistic mathematics
Intuitionistic Modal Logic
L
Labelled sequents
labelled systems
LTLf
M
mathematical proofs
Mechanized proofs
Meta-theory
Modal Logics
MSO
N
nested systems
Nuprl
P
pi-caclulus
priorities
Projective plane
Proof theory
Q
qualitative spatial reasoning
R
real proofs
resolution
S
SAT
sequent calculus
session types
systematicity
T
topologicai logics
Transitive closure logic
Type theory
U
unification problem