UJ Logic Workshop 2020

Once again we will be hosting a workshop on logic at the University of Johannesburg at the end of January.

The 2020 edition will have a slightly different format: the first day will consist of a full day's tutorials on Proof Theory and the second day will have contributed talks. The tutorial on Proof Theory will be given by:


The workshop will accommodate all areas of logic including classical model theory, non-classical logics and their proof theory, their relational, algebraic and topological semantics, description logics and applications of logic. Contributions with relevance for logic from neighbouring areas like universal algebra, category theory and topology are also very welcome.


There is no registration fee for the workshop. The activities will run from approximately 09h00 to 17h00 each day. Lunch, as well as morning and afternoon coffee breaks, will be provided.


Interested participants should please email Andrew Craig (acraig{at}uj.ac.za) to indicate that they would like to attend and also whether or not they intend to contribute a talk on the second day. Deadline for abstracts of contributed talks: 17 January 2020.


Dates: Monday 27 - Tuesday 28 January 2020

Programme: 2020 programme and abstracts

Directions to venue: directions to C-LES 307


Slides:

Monday tutorial:

Multi type display calculi - Giuseppe Greco

Soundness and Completeness - Sabine Frittella


Tuesday contributed talks:

Approximating trees as coloured linear orders - Ruaan Kellerman

A Lauchli-Leonard Style Result for Complete Linear Orders - Jean-Pierre de Villiers

Vector spaces as Kripke frames - Giuseppe Greco

Incremented joins and the ordinal number system - Ineke van der Berg

Hybrid Deduction–Refutation Systems: proofs and refutations getting married - Valentin Goranko

Establishing the categorical structure of the syntax SOFiA by way of assemblers - Brandon Laing