VSL 2014: VIENNA SUMMER OF LOGIC 2014

GSB 2014 PROCEEDINGS: KEYWORD INDEX

PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index
Shortcuts: ABCDGHILMNPQSTU
A
accessibility conditions
Coherentisation of Accessibility Conditions in Labelled Sequent Calculi (PDF)
admissible rules
Link Formulas in Implication Fragments of Substructural Logics (PDF, talk)
Affine logic
On Affine Logic and Łukasiewicz Logic (PDF, talk)
analyticity
On the Construction of Analytic Sequent Calculi for Sub-Classical Logics (PDF, talk)
B
Buchholz rule
On Cuts and Cut-Elimination in Modal Fixed Point Logics (PDF, talk)
C
circular proofs
Lyndon Interpolation for the Modal mu-Calculus (PDF, talk)
Classical Modal Logics
Sequent Systems for Classical Modal Logics (PDF, talk)
coherent implications
Coherentisation of Accessibility Conditions in Labelled Sequent Calculi (PDF)
coherent theory
Coherentisation of Accessibility Conditions in Labelled Sequent Calculi (PDF)
conservative extension
Coherentisation of Accessibility Conditions in Labelled Sequent Calculi (PDF)
cut elimination
Display-Type Calculi and Their Cut Elimination Metatheorem (PDF, talk)
Simpler Proof Net Quantifiers: Unification Nets (Work in Progress) (PDF, talk)
Modular Systems for Intuitionistic Modal Logics in Nested Sequents (PDF, talk)
D
density elimination
A Proof Theoretic Approach to Standard Completeness (PDF, talk)
Description logic
An Intuitionisticaly Based Description Logic (PDF, talk)
display calculi
Display-Type Calculi and Their Cut Elimination Metatheorem (PDF, talk)
Double negation translation
On Affine Logic and Łukasiewicz Logic (PDF, talk)
dynamic logics
Display-Type Calculi and Their Cut Elimination Metatheorem (PDF, talk)
G
geometric implications
Coherentisation of Accessibility Conditions in Labelled Sequent Calculi (PDF)
geometric theory
Coherentisation of Accessibility Conditions in Labelled Sequent Calculi (PDF)
H
Hilbert systems
Comparing Sequent Calculi via Hilbert-Style Axioms (PDF, talk)
Hypersequents
A Proof Theoretic Approach to Standard Completeness (PDF, talk)
Comparing Sequent Calculi via Hilbert-Style Axioms (PDF, talk)
I
Identification of proofs
Simpler Proof Net Quantifiers: Unification Nets (Work in Progress) (PDF, talk)
implication fragments of substructural logics
Link Formulas in Implication Fragments of Substructural Logics (PDF, talk)
intuitionistic hybrid logic
An Intuitionisticaly Based Description Logic (PDF, talk)
intuitionistic modal logic
Modular Systems for Intuitionistic Modal Logics in Nested Sequents (PDF, talk)
L
labelled sequent calculus
Coherentisation of Accessibility Conditions in Labelled Sequent Calculi (PDF)
limitative results
Comparing Sequent Calculi via Hilbert-Style Axioms (PDF, talk)
Lindon interpolation
Lyndon Interpolation for the Modal mu-Calculus (PDF, talk)
linear time complexity
Simpler Proof Net Quantifiers: Unification Nets (Work in Progress) (PDF, talk)
link formulas
Link Formulas in Implication Fragments of Substructural Logics (PDF, talk)
logic of common knowledge
On Cuts and Cut-Elimination in Modal Fixed Point Logics (PDF, talk)
Lukasiewicz logic
On Affine Logic and Łukasiewicz Logic (PDF, talk)
M
modal logic
Display-Type Calculi and Their Cut Elimination Metatheorem (PDF, talk)
modal mu-calculus
Lyndon Interpolation for the Modal mu-Calculus (PDF, talk)
mu-calculus
On Cuts and Cut-Elimination in Modal Fixed Point Logics (PDF, talk)
multi-type sequent calculi
Display-Type Calculi and Their Cut Elimination Metatheorem (PDF, talk)
N
Negative translation
On Affine Logic and Łukasiewicz Logic (PDF, talk)
Neighborhood Semantics
Sequent Systems for Classical Modal Logics (PDF, talk)
nested sequents
Modular Systems for Intuitionistic Modal Logics in Nested Sequents (PDF, talk)
On Cuts and Cut-Elimination in Modal Fixed Point Logics (PDF, talk)
non-classical logics
Display-Type Calculi and Their Cut Elimination Metatheorem (PDF, talk)
On the Construction of Analytic Sequent Calculi for Sub-Classical Logics (PDF, talk)
non-deterministic semantics
On the Construction of Analytic Sequent Calculi for Sub-Classical Logics (PDF, talk)
P
paraconsistent logics
On the Construction of Analytic Sequent Calculi for Sub-Classical Logics (PDF, talk)
primal infon logic
On the Construction of Analytic Sequent Calculi for Sub-Classical Logics (PDF, talk)
proof nets
Simpler Proof Net Quantifiers: Unification Nets (Work in Progress) (PDF, talk)
proof theory
Sequent Systems for Classical Modal Logics (PDF, talk)
Q
Quantifiers
Simpler Proof Net Quantifiers: Unification Nets (Work in Progress) (PDF, talk)
S
sequent Calculi
On the Construction of Analytic Sequent Calculi for Sub-Classical Logics (PDF, talk)
sequent calculus
Comparing Sequent Calculi via Hilbert-Style Axioms (PDF, talk)
An Intuitionisticaly Based Description Logic (PDF, talk)
standard completness
A Proof Theoretic Approach to Standard Completeness (PDF, talk)
structural completeness
Link Formulas in Implication Fragments of Substructural Logics (PDF, talk)
sub-classical logics
On the Construction of Analytic Sequent Calculi for Sub-Classical Logics (PDF, talk)
Syntactic cut-elimination
On Cuts and Cut-Elimination in Modal Fixed Point Logics (PDF, talk)
T
translations
Comparing Sequent Calculi via Hilbert-Style Axioms (PDF, talk)
U
Unification
Simpler Proof Net Quantifiers: Unification Nets (Work in Progress) (PDF, talk)
Disclaimer | Powered by EasyChair Smart Program