VSL 2014: VIENNA SUMMER OF LOGIC 2014
TALK KEYWORD INDEX

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

Shortcuts: ABCDHILMNPQSTU
A
admissible rules
Link formulas in implication fragments of substructural logics
Affine logic
On Affine Logic and Łukasiewicz Logic
analyticity
On the Construction of Analytic Sequent Calculi for Sub-classical Logics
B
Buchholz rule
On cuts and cut-elimination in modal fixed point logics
C
circular proofs
Lyndon Interpolation for the Modal Mu-Calculus
Classical Modal Logics
Sequent Systems for Classical Modal Logics
cut elimination
Display-type calculi and their cut elimination metatheorem
Modular Systems for Intuitionistic Modal Logics in Nested Sequents
Simpler Proof Net Quantifiers: Unification Nets (Work in Progress)
D
density elimination
A proof theoretic approach to standard completeness
Description logic
An Intuitionisticaly based Description Logic
display calculi
Display-type calculi and their cut elimination metatheorem
Double negation translation
On Affine Logic and Łukasiewicz Logic
dynamic logics
Display-type calculi and their cut elimination metatheorem
H
Hilbert systems
Comparing Sequent Calculi via Hilbert-style Axioms
hypersequents
A proof theoretic approach to standard completeness
Comparing Sequent Calculi via Hilbert-style Axioms
I
Identification of proofs
Simpler Proof Net Quantifiers: Unification Nets (Work in Progress)
implication fragments of substructural logics
Link formulas in implication fragments of substructural logics
intuitionistic hybrid logic
An Intuitionisticaly based Description Logic
intuitionistic modal logic
Modular Systems for Intuitionistic Modal Logics in Nested Sequents
L
limitative results
Comparing Sequent Calculi via Hilbert-style Axioms
Lindon interpolation
Lyndon Interpolation for the Modal Mu-Calculus
linear time complexity
Simpler Proof Net Quantifiers: Unification Nets (Work in Progress)
link formulas
Link formulas in implication fragments of substructural logics
logic of common knowledge
On cuts and cut-elimination in modal fixed point logics
Lukasiewicz logic
On Affine Logic and Łukasiewicz Logic
M
modal logic
Display-type calculi and their cut elimination metatheorem
modal mu-calculus
Lyndon Interpolation for the Modal Mu-Calculus
mu-calculus
On cuts and cut-elimination in modal fixed point logics
multi-type sequent calculi
Display-type calculi and their cut elimination metatheorem
N
Negative translation
On Affine Logic and Łukasiewicz Logic
Neighborhood Semantics
Sequent Systems for Classical Modal Logics
nested sequents
On cuts and cut-elimination in modal fixed point logics
Modular Systems for Intuitionistic Modal Logics in Nested Sequents
non-classical logics
Display-type calculi and their cut elimination metatheorem
On the Construction of Analytic Sequent Calculi for Sub-classical Logics
non-deterministic semantics
On the Construction of Analytic Sequent Calculi for Sub-classical Logics
P
paraconsistent logics
On the Construction of Analytic Sequent Calculi for Sub-classical Logics
primal infon logic
On the Construction of Analytic Sequent Calculi for Sub-classical Logics
proof nets
Simpler Proof Net Quantifiers: Unification Nets (Work in Progress)
proof theory
Sequent Systems for Classical Modal Logics
Q
Quantifiers
Simpler Proof Net Quantifiers: Unification Nets (Work in Progress)
S
sequent calculi
On the Construction of Analytic Sequent Calculi for Sub-classical Logics
sequent calculus
An Intuitionisticaly based Description Logic
Comparing Sequent Calculi via Hilbert-style Axioms
standard completness
A proof theoretic approach to standard completeness
structural completeness
Link formulas in implication fragments of substructural logics
sub-classical logics
On the Construction of Analytic Sequent Calculi for Sub-classical Logics
Syntactic cut-elimination
On cuts and cut-elimination in modal fixed point logics
T
translations
Comparing Sequent Calculi via Hilbert-style Axioms
U
Unification
Simpler Proof Net Quantifiers: Unification Nets (Work in Progress)