Remaining within the boundaries of propositional logic, Paoli (U. de Cagliari, Italy) provides an up-to-date survey of this increasingly prominent branch of the research field known as nonclassical logics, introduces the topic from historical and philosophical perspectives, and discusses the relationships between substructural logics and proof-theoretical semantics. Topics related to the propositional, commutative, classical, and lattice-ordered constraints have been purposely excluded. Appends a review of elementary algebra, model theory, and graph theory, and a glossary of algebraic notations used. Suitable for graduate students in theoretical linguistics, computer science, math, and philosophy versed in at least elementary logic, as well as area specialists and researchers