Abstract: Liberal multiculturalism was introduced to support integration and anti-racism, but everyday racism continues to be a fact of life. This paper analyzes first some frameworks and problems that race…
The Logic Book
Summary: This book is an introductory textbook on mathematical logic. It covers Propositional Logic and Predicate Logic. For each of these formalisms it presents its syntax and formal semantics as well…
Proof Theory: Sequent Calculi and Related Formalisms
Publisher’s Note: Although sequent calculi constitute an important category of proof systems, they are not as well known as axiomatic and natural deduction systems. Addressing this deficiency, Proof Theory: Sequent Calculi…