Abstracts for ASUBL5
| ||||||
| Authors |
Abstract title |
Short session name |
Keynote |
Timetabled |
Abstract |
|
|---|---|---|---|---|---|---|
| TBA | ✗ | TBA | ||||
| Skolemization in Substructural Logics | ✗ | |||||
| Andrew P.K. Craig, Maria J. Gouveia and Miroslav Haviar | TiRS graphs and TiRS frames: a new setting for duals of canonical extensions | ✗ |
We consider properties of the graphs that ... |
|||
| Antonio Ledda, Jose Gil-Ferez, Francesco Paoli, Constantine Tsinakis | Projectable l-groups and algebras of logic: categorical and algebraic connections | ✗ |
\section*{Abstract}
In the 1960's, P.F. Conrad launched a ... |
|||
| Chris Fermüller | From truth-functional to subtructural logics via semantic games | ✗ |
Game theoretic semantics is a versatile tool ... |
|||
| Chris Taylor | Discriminator Varieties of Double-Heyting Algebras | ✗ |
Just as Boolean algebras provide an algebraic ... |
|||
| Francesco Paoli (joint work with J. Gil Ferez, P. Cintula) | Multiset consequence relation | ✗ | According to the ... | |||
| Greg Restall | Remarks on relevant arithmetics | ✗ | TBA | |||
| H. Ono | TBA | ✗ | ||||
| Jan Kühr | TBA | ✗ | ||||
| John Slaney | What is Meyer's "single variable arrow fragment of E" problem? | ✗ | TBA | |||
| Marta Bilkova | Substructural Epistemic Logic for Skeptical Agents | ✗ | TBA | |||
| Martin Bunder and Joseph Tonien | Abstract versions of Godel's In completeness and Tarski's Undefinability Theorems | ✗ |
This paper provides a condition for an ... |
|||
| Norbert Preining | Hyper-natural deduction system with normalization | ✗ |
We introduce a hyper natural deduction system ... |
|||
| Petr Cintula, Carles Noguera | Characterization of infinitary semilinear logics | ✗ |
In our 2010 paper, Implicational (semilinear) logics ... |
|||
| Tomasz Kowalski | tba | ✗ | TBA | |||
| Zach Weber | Paraconsistent arithmetic without contraction | ✗ |
Following a longstanding project in relevant logic, ... |
|||