Classical logic - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2008-12-25 08:07:55 Model theory Modal logic Philosophical logic Non-classical logic Kripke semantics Sheaf theory First-order logic Bisimulation F-coalgebra Logic Mathematical logic Mathematics		Add to Reading List Source URL: philo.ruc.edu.cn Download Document from Source Website File Size: 856,79 KB Share Document on Facebook

	1. Bisimulation everywhere 2. The power of coinduction 3. More bisimulations, still DocID: 1qXxc - View Document
	Journal of Pure and Applied Algebra – 168 www.elsevier.com/locate/jpaa Splittings of bicommutative Hopf algebras Nitu Kitchlooa; c , Gerd Lauresb; d;1 , W. Stephen Wilsona;∗ a Department DocID: 1pZzu - View Document
	Foundational, Compositional (Co)datatypes for Higher-Order Logic Category Theory Applied to Theorem Proving Dmitriy Traytel Technische Universität München Munich, Germany DocID: 1oU48 - View Document
	Robin Milner and Mathematics Glynn Winskel 1. Background, Robin’s intellectual position(s) 2. Robin’s attitude, contributions and potential contributions to Mathematics 3. Robin’s ideas and concurrent strategies DocID: 1oMN9 - View Document
	Towards a Unified Treatment of Induction, I: The General Recursion Theorem Paul Taylor 1995–6 Abstract The recursive construction of a function f : A → Θ consists, paradigmatically, of finding DocID: 1orDS - View Document