Mathematical Logic
Organiser
Professor W. Conradie, University of Johannesburg
Description
The proposed Special Session will be on Mathematical Logic, broadly conceived. It will accommodate all areas of logic which fall within the interest of South African logicians and their collaborators, 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 warmly welcomed.