VSL 2014: VIENNA SUMMER OF LOGIC 2014

A
Antidze, Nino	Construction and meaning
B
Baaz, Matthias	Construction and meaning
Baaz, Matthias	The Epsilon Calculus and Nonclassical Logics
F
Fitting, Melvin	Applications of Nested-Sequent Proof Systems for Modal Logics to the Craig Interpolation Property
G
Guglielmi, Alessio	Introducing Substitution in Proof Theory
K
Kuznets, Roman	Applications of Nested-Sequent Proof Systems for Modal Logics to the Craig Interpolation Property
L
Lahav, Ori	From Frame Properties to Hypersequent Rules in Modal Logics
M
Metcalfe, George	Admissibility and Exact Unification
O
Olivetti, Nicola	Conditional logics: the quest for internal proof systems
T
Terui, Kazushige	Proof theory for ordered algebra: amalgamation and densification
W
Woltzenlogel Paleo, Bruno	Automated and Interactive Theorem Proving for Modal Logics via embedding into Classical Higher-Order Logic
Z
Zach, Richard	The Epsilon Calculus and Nonclassical Logics
Zamansky, Anna	What can semantics do for proof theory: the case of Paraconsistent Logics

Disclaimer | Powered by EasyChair Smart Program