FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
CL&C FULL PAPERS AND ABSTRACTS: KEYWORD INDEX
PapersPapers with AbstractsAuthor IndexKeyword Index
Shortcuts: ABCDEFHIMNPRS
A
admissible rules
Admissible tools in the kitchen of intuitionistic logic (PDF, talk)
B
bi-intuitionistic logic
(Short Paper) Towards a Dualized Sequent Calculus with Canonicity (PDF, talk)
C
classical logic
Some ideas on cut-elimination for cyclic arithmetic proofs (PDF, talk)
Classical sequent calculus
Herbrand's Theorem as Higher-Order Recursion (PDF, talk)
Consistency proofs
Some ideas on cut-elimination for cyclic arithmetic proofs (PDF, talk)
Continuous computation
Some ideas on cut-elimination for cyclic arithmetic proofs (PDF, talk)
Curry-Howard
On Natural Deduction for Herbrand Constructive Logics III: The Strange Case of the Intuitionistic Logic of Constant Domains (PDF, talk)
Cut-elimination
Fast cut-elimination using proof terms: an empirical study (PDF, talk)
Some ideas on cut-elimination for cyclic arithmetic proofs (PDF, talk)
cyclic induction
Validating Back-links of FOL$_{\mbox{\normalsize ID}}$ Cyclic Pre-proofs (PDF, talk)
Cyclic proofs
Some ideas on cut-elimination for cyclic arithmetic proofs (PDF, talk)
D
dualized proof system
(Short Paper) Towards a Dualized Sequent Calculus with Canonicity (PDF, talk)
E
expansion proofs
Fast cut-elimination using proof terms: an empirical study (PDF, talk)
F
first-order logic with inductive definitions
Validating Back-links of FOL$_{\mbox{\normalsize ID}}$ Cyclic Pre-proofs (PDF, talk)
H
Herbrand's theorem
Fast cut-elimination using proof terms: an empirical study (PDF, talk)
Herbrand's Theorem as Higher-Order Recursion (PDF, talk)
Higher order recursion schemes
Herbrand's Theorem as Higher-Order Recursion (PDF, talk)
I
induction reasoning
Validating Back-links of FOL$_{\mbox{\normalsize ID}}$ Cyclic Pre-proofs (PDF, talk)
Infinite computation
Some ideas on cut-elimination for cyclic arithmetic proofs (PDF, talk)
Intuitionistic logic
Admissible tools in the kitchen of intuitionistic logic (PDF, talk)
Intuitionistic logic of constant domains
On Natural Deduction for Herbrand Constructive Logics III: The Strange Case of the Intuitionistic Logic of Constant Domains (PDF, talk)
M
mechanical reasoning
Validating Back-links of FOL$_{\mbox{\normalsize ID}}$ Cyclic Pre-proofs (PDF, talk)
N
Natural deduction
On Natural Deduction for Herbrand Constructive Logics III: The Strange Case of the Intuitionistic Logic of Constant Domains (PDF, talk)
non-wellfounded proofs
Some ideas on cut-elimination for cyclic arithmetic proofs (PDF, talk)
P
Peano arithmetic
Some ideas on cut-elimination for cyclic arithmetic proofs (PDF, talk)
proof terms
Fast cut-elimination using proof terms: an empirical study (PDF, talk)
Proof theory
Admissible tools in the kitchen of intuitionistic logic (PDF, talk)
Some ideas on cut-elimination for cyclic arithmetic proofs (PDF, talk)
propositional logic
Admissible tools in the kitchen of intuitionistic logic (PDF, talk)
R
Reductive cut elimination
Herbrand's Theorem as Higher-Order Recursion (PDF, talk)
S
sequent calculus
(Short Paper) Towards a Dualized Sequent Calculus with Canonicity (PDF, talk)