FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

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

C
Categorical Logic	LMSO: A Curry-Howard Approach to Church’s Synthesis via Linear Logic (speaker: Pierre PRADIC)
circular proofs	Local Validity for Circular Proofs in Linear Logic with Fixed Points
coinduction	Coinductive Uniform Proofs: An Extended Abstract (speaker: Yue LI) Local Validity for Circular Proofs in Linear Logic with Fixed Points
Cyclic proofs	Transitive Closure Logic: Infinitary and Cyclic Proof Systems On the Logical Complexity of Cyclic Arithmetic
D
denotational semantics	What makes guarded types tick?
E
explicit induction reasoning	Useless Explicit Induction Reasoning
F
finitization	Local Validity for Circular Proofs in Linear Logic with Fixed Points
first-order logic with inductive predicates	Useless Explicit Induction Reasoning
fixed points	Local Validity for Circular Proofs in Linear Logic with Fixed Points
fixpoint alternation	Collapses of Fixpoint Alternation Hierarchies in Low Type-Levels of Higher-Order Fixpoint Logic
G
Game semantics	LMSO: A Curry-Howard Approach to Church’s Synthesis via Linear Logic (speaker: Pierre PRADIC)
Guarded Recursion	What makes guarded types tick?
H
Horn clause	Coinductive Uniform Proofs: An Extended Abstract (speaker: Yue LI)
Hyper sequents	Towards the Automatic Construction of Schematic Proofs
I
induction	Transitive Closure Logic: Infinitary and Cyclic Proof Systems Local Validity for Circular Proofs in Linear Logic with Fixed Points
induction reasoning	Useless Explicit Induction Reasoning
inductive theorem prover	Towards the Automatic Construction of Schematic Proofs
Infinitary Proofs	Transitive Closure Logic: Infinitary and Cyclic Proof Systems
infinite descent	Local Validity for Circular Proofs in Linear Logic with Fixed Points
L
lambda calculus	Collapses of Fixpoint Alternation Hierarchies in Low Type-Levels of Higher-Order Fixpoint Logic
Leveled sequents	Towards the Automatic Construction of Schematic Proofs
linear logic	Local Validity for Circular Proofs in Linear Logic with Fixed Points LMSO: A Curry-Howard Approach to Church’s Synthesis via Linear Logic (speaker: Pierre PRADIC)
Logical complexity	On the Logical Complexity of Cyclic Arithmetic
M
modal fixpoint logic	Collapses of Fixpoint Alternation Hierarchies in Low Type-Levels of Higher-Order Fixpoint Logic
MSO on Infinite Words	LMSO: A Curry-Howard Approach to Church’s Synthesis via Linear Logic (speaker: Pierre PRADIC)
muMALL	Local Validity for Circular Proofs in Linear Logic with Fixed Points
N
Non-wellfounded proofs	Local Validity for Circular Proofs in Linear Logic with Fixed Points
P
Peano arithmetic	On the Logical Complexity of Cyclic Arithmetic
proof complexity	On the Logical Complexity of Cyclic Arithmetic
proof schema	Towards the Automatic Construction of Schematic Proofs
Proof theory	On the Logical Complexity of Cyclic Arithmetic
proof-search	Local Validity for Circular Proofs in Linear Logic with Fixed Points
R
realizability	LMSO: A Curry-Howard Approach to Church’s Synthesis via Linear Logic (speaker: Pierre PRADIC)
Reduction Semantics	What makes guarded types tick?
Reverse mathematics	On the Logical Complexity of Cyclic Arithmetic
S
sequent calculus	Local Validity for Circular Proofs in Linear Logic with Fixed Points
T
Transitive Closure	Transitive Closure Logic: Infinitary and Cyclic Proof Systems
type theory	What makes guarded types tick?
U
uniform proof	Coinductive Uniform Proofs: An Extended Abstract (speaker: Yue LI)

Disclaimer | Powered by EasyChair Smart Program