The present volume of the Handbook of the History of Logic brings together two of the most important developments in 20th century non-classical logic. These are

This second volume of the book series shows R-calculus is a combination of one monotonic tableau proof system and one non-monotonic one. The R-calculus is a Gen

French philosopher Gilles Deleuze wrote two 'logic' books: Francis Bacon: The Logic of Sensation and The Logic of Sense. However, in neither of these books nor

This three volume set (CCIS 853-855) constitutes the proceedings of the 17th International Conference on Information Processing and Management of Uncertainty in

This open access book constitutes the proceedings of the proceedings of the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Rela