AiML Algorithmics Cahiers de Logique et d'Épistémologie Communication, Mind and Language Computing Cuadernos de lógica, epistemología y lenguaje Dialogues and the Games of Logic Filosofia IfColog series in Computational Logic Neural Computing and Artificial Intelligence Philosophy Research in Computational Semantics Studies in Logic Logic and cognitive systems Mathematical logic and foundations Studies in Logic and Argumentation Studies in Talmudic Logic Systems Thinking and Systems Engineering Tributes Other Information for authors About us   Logic and cognitive systems Back Series edited by D. Gabbay, J. Siekmann, J. van Benthem, J. Woods Volume 9: Handbook of Paraconsistency Edited by Jean-Yves Béziau, Walter Carnielli and Dov Gabbay ISBN 978-1-904987-73-4 View Details Volume 10: Automated Reasoning in Higher-Order Logic Set Comprehension and Extensionality in Church's Type Theory Chad E. Brown 978-1-904987-57-4 View Details Volume 24: Studies in Diagrammatology and Diagram Praxis Olga Pombo and Alexander Gerner, eds 978-1-84890-007-3 View Details Volume 13: Knowledge in Flux Modeling the Dynamics of Epistemic States Peter Gardenfors, with a foreword by David Makinson 978-1-904987-89-5 View Details

© 2005–2012 College Publications / VFH webmaster