Vaughan Pratt - PDFSEARCH.IO - Document Search Engine

Vaughan Pratt
Results: 47

#	Item
1	The Stone Gamut: A Coordinatization of Mathematics Vaughan R. Pratt∗ Dept. of Computer Science Stanford University Stanford, CA 94305 Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-09 13:06:38
2	The Duality of Time and Information Vaughan R. Pratt∗ Stanford University June 1, 1992 Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-08 11:25:23
3	from http://boole.stanford.edu/pub/ratmech.pdf Rational Mechanics and Natural Mathematics Vaughan Pratt∗ Dept. of Computer Science, Stanford University, Stanford, CA Add to Reading List Source URL: www.newdualism.org Language: English - Date: 2015-08-13 10:56:30
4	Broadening the denotational semantics of linear logic Vaughan Pratt∗ Dept. of Computer Science Stanford University Stanford, CA Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-09 13:06:44
5	Algebras and Bialgebras via categories with distinguished objects Vaughan Pratt Stanford University Add to Reading List Source URL: boole.stanford.edu - Date: 2016-10-11 01:10:12
6	I. CDO: Categories with Distinguished Objects II. Chu Spaces, Typed and Untyped III. Three Questions in Philosophy Vaughan Pratt Stanford University Add to Reading List Source URL: chu.stanford.edu Language: English - Date: 2016-02-05 10:35:51 Mathematics Algebra Abstract algebra Category theory Functors Sheaf theory Algebraic topology Topos Functor Category Morphism Chu space
7	Euclid’s Elements as an Equational Theory Vaughan Pratt Stanford University 26 May, 2015 Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2015-05-26 00:36:08 Algebra Mathematics Linear algebra Algebraic structures Abstract algebra Geometry Affine space Universal algebra Euclidean space Geometric algebra Space Foundations of geometry
8	Chu Spaces Vaughan Pratt Stanford University Notes for the School on Category Theory and Applications University of Coimbra Add to Reading List Source URL: chu.stanford.edu Language: English - Date: 2004-12-15 21:06:50 Algebraic structures Chu space Semilattice Boolean algebra Structure Homomorphism Partially ordered set Lattice Adjoint functors Binary relation Isomorphism Dual space
9	GC43C-1213 MODEL COMPLEXITY OF GLOBAL CLIMATE: Could Arrhenius have foreseen the hiatus? Vaughan R. Pratt Stanford University Add to Reading List Source URL: clim.stanford.edu Language: English - Date: 2015-12-18 23:15:29 Atmospheric sciences Meteorology Climatology Climate history Global warming Atmospheric chemistry Climate oscillation Oscillation Solar irradiance Climate model Forecasting Climate
10	Aristotle, Boole, and Categories Vaughan Pratt October 12, 2015 Abstract We propose new axiomatizations of the 24 assertoric syllogisms of Arisn totle’s syllogistic, and the 22 n-ary operations of Boole’s algebraic l Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2015-10-12 12:39:56 Logic Classical logic Arguments Term logic Syllogism Rules of inference Propositional calculus Axiom Hypothetical syllogism Disjunctive syllogism Inference First-order logic