The project concerns relevant logics, their algebraic semantics, and the use of this semantics to investigate theories of topic or aboutness in these logics, and their extensions by quantifiers. The key objectives are philosophical (concerning the meaning of relevance in a logical setting) and formal (algebraic semantics, and how these models characterise meaning, and relevance, for relevant logics).
DFG Programme
Research Grants