Boole - PDFSEARCH.IO - Document Search Engine

Boole
Results: 148

#	Item
81	Chu Spaces Vaughan Pratt Stanford University Notes for the School on Category Theory and Applications University of Coimbra Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2004-12-15 21:06:50 Algebraic structures Category theory Mathematical structures Order theory Model theory Chu space Semilattice Continuous function Structure Mathematics Algebra Abstract algebra
82	Concurrent Kripke Structures Vineet Gupta∗ Dept. of Computer Science Stanford University, CA[removed]removed] January 9, 2005 Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-09 13:06:23 Algebraic structures Order theory Boolean algebra Non-classical logic Model theory Semiring Distributivity Modal logic Structure Mathematics Abstract algebra Mathematical logic
83	Chu spaces: Complementarity and Uncertainty in Rational Mechanics Vaughan Pratt∗ Dept. of Computer Science Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2004-02-21 12:17:27 Algebraic structures Order theory Topology Lattice theory Abstract algebra Chu space Boolean algebra Finite topological space Filter Mathematics Algebra Structure
84	To appear in Math. Struct. in Comp. Science Higher Dimensional Automata Revisited VAUGHAN PRATT Department of Computer Science, Stanford University, Stanford, CA[removed] Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-09 13:06:16 Order theory Structure Abstraction Lattice theory Chu space Lattice Distributive lattice Distributivity Finite-state machine Mathematics Automata theory Models of computation
85	Event Spaces and Their Linear Logic Vaughan Pratt Computer Sci. Dept., Stanford, CA 94305, USA [removed] April 25, 1991 Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-08 11:05:21 Order theory Algebraic structures Mathematical structures Lattice theory Lattice Ideal Partially ordered set Boolean algebra Vector space Mathematics Algebra Abstract algebra
86	Notes on the Chu construction and Recursion Gordon Plotkin January 9, 2005 1 Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-09 13:07:03 Functor Adjoint functors Universal property Sheaf Coproduct Function Initial and terminal objects Limit Chu space Abstract algebra Mathematics Category theory
87	Chu spaces as a semantic bridge between linear logic and mathematics Vaughan Pratt ∗ Dept. of Computer Science Stanford University Stanford, CA[removed] Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2004-07-27 11:43:04 Category theory Model theory Order theory Monoidal categories Chu space Cartesian closed category Functor Adjoint functors Denotational semantics Mathematics Algebra Abstract algebra
88	Orthocurrence as both Interaction and Observation Vaughan R. Pratt Stanford University and Tiqit Computers January 9, 2005 Abstract Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-09 13:06:07 Abstract algebra Mathematical structures Topology Multilinear algebra Tensor Vector space Chu space Bilinear map Cartesian closed category Algebra Mathematics Linear algebra
89	Notes on Event structures and Chu Gordon Plotkin January 9, 2005 1 Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-09 13:07:07 Model theory Mathematical structures Universal algebra Algebraic structures Abstract algebra Structure Alfred Tarski FO Order Mathematics Mathematical logic Logic
90	Event-State Duality: The Enriched Case Vaughan R. Pratt Stanford University, Stanford CA 94305, USA [removed] http://boole.stanford.edu/pratt.html Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-09 13:06:02 Category theory Mathematical structures Algebraic structures Monoidal categories Chu space Enriched category Monoid Functor Category Algebra Mathematics Abstract algebra

UPDATE