Start main page content

Mathematical Logic


Professor W. Conradie, University of Johannesburg



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.