Tag stone-duality [15 articles] Export Sort

Recent papers classified by the tag stone-duality.

Hide details

	The Stone Gamut: A Coordinatization of Mathematics [My Copy] In Tenth Annual Symposium on Logic in Computer Science (1995), pp. 444-454. by Vaughan R. Pratt posted to categorification category-theory chu-space mathematical-structures stone-duality stone-gamut by isotelesis on 2009-07-16 17:07:44 as along with 1 person scis0000001
	Topical categories of domains [My Copy] Mathematical. Structures in Comp. Sci., Vol. 9, No. 5. (1999), pp. 569-616. by Steven Vickers posted to algebraicity algebras category-theory constructivity domain-theory domains fol geometricity locales stone-duality topological-spaces topos-theory toposes by Scis0000002 on 2009-05-27 11:14:06 as
	Sober spaces and continuations [My Copy] Theory and Applications of Categories, Vol. 10, pp. 200-2. by Paul Taylor posted to asd continuations stone-duality topology types by noam_zeilberger on 2008-08-07 20:44:32 as
	Stone spaces [My Copy] (29 April 1982) by Peter T. Johnstone posted to stone-duality by noam_zeilberger on 2008-08-07 20:40:31 as along with 1 person adrian_pigors
	Geometric And Higher Order Logic In Terms Of Abstract Stone Duality [My Copy] by Paul Taylor posted to asd stone-duality topology types by noam_zeilberger on 2008-08-07 20:39:02 as along with 1 person Constructivity
	Nonlinear Self-Duality and Supersymmetry [My Copy] by Sergei M. Kuzenko, Stefan Theisen posted to category-theory duality extendability extendibility higher-dimensional-category-theory idealization metalogical-frameworks metamathematical-frameworks metamathematics metascience modeling nonlinearity omega-categories philosophy-of-science regularities stone-duality topos-theory by Scis0000002 on 2007-08-31 00:40:31 as along with 1 person scis0000001
	Exponentiable Morphisms: Posets, Spaces, Locales, And Grothendieck Toposes [My Copy] by Susan Niefield posted to grothendieck-toposes locales partial-order posets stone-duality topological-space topos-theory toposes by Scis0000002 on 2007-08-04 10:20:36 as
	Complete Lattices Represent Complete Heyting Algebras (Or: Quantum Logic With An Intuitionistic Implication) [My Copy] by Bob Coecke posted to atomisticity closure-structures commutativity complete concept-lattice conceptual-structures formal-science frames heyting-algebra hyperdoctrine inquiry-calculus intuitionistic-logic lattice lattice-of-properties locales operational ortholattice probability-theory property-lattice quantum-logic stone-duality topos-theory unified-concept-theory by scis0000001 on 2007-05-09 22:41:14 as along with 1 person Scis0000002
	Toward Question-Asking Machines: The Logic of Questions and the Inquiry Calculus [My Copy] by Kevin H. Knuth posted to boolean-algebra calculus category-theory corpus database domain-theory effective-topos epistemology experiment extensivity iff inductive-inference information-dynamics information-resource information-retrieval information-system information-theory inquiry-calculus ir lattice logics measurement order-theory partial-order partial-order-theory partition probability-theory query question-answering question-asking question-lattice relevance search search-theory semweb separability stone-duality unified-concept-theory by scis0000001 on 2007-04-16 14:48:55 as along with 2 people Scis0000002 Kristoftol
	Mirror, Mirror in my Hand: A Duality between Specifications and Models of Process Behaviour [My Copy] Mathematical Structures in Computer Science, Vol. 6, No. 4. (1996), pp. 353-373. by Jose L. Fiadeiro, Jose F. Costa posted to adjoint-functors behaviour curry-howard-isomorphism duality process semantics specification stone-duality syntax by scis0000001 on 2007-02-16 08:43:06 as
	Argumentation-theoretic proof procedures for default reasoning [My Copy] (1997) by P. Dung, R. Kowalski, F. Toni posted to argumentation argumentation-theory atp category-theory computability-logic curry-howard-isomorphism dialogue game-theory games implementation incompleteness lp metalogic-programming metalogics model-theory nonmonotonicity oops proof proof-procedure proof-search proof-theory proof-tree protocol search-space searching semantics specification stone-duality tree by scis0000001 on 2007-02-14 14:09:28 as
	Stone Duality for Lattices [My Copy] Algebra Universalis, Vol. 37 (1997), pp. 391-401. by C. Hartonas, Michael J. Dunn posted to stone-duality lattice by scis0000001 on 2007-02-01 14:38:47 as
	Incidence structures and Stone-Priestley duality [My Copy] (6 Jan 2006) by Mohamed Bekkali, Maurice Pouzet, Driss Zhani posted to chu-space duality priestley-space stone-duality stone-space by scis0000001 on 2006-12-09 13:32:35 as
	Stone duality between queries and data [My Copy] (1996) by D. Benson posted to query stone-duality by scis0000001 on 2006-09-30 15:43:03 as
	General Stone duality [My Copy] Topology and its Applications In Topology and its Applications, Vol. 137, No. 1-3. (28 February 2004), pp. 125-158. by Marcel Erne posted to algebra category-theory chu-space duality lattice similarity stone-duality symmetry by scis0000001 on 2006-09-02 14:06:12 as along with 1 person adrian_pigors

Note: You may cite this page as: http://www.citeulike.org/tag/stone-duality

Sort by:
Order:	Default Ascending Descending
Empty fields:	Default First Last

category-theory	7
chu-space	4
duality	4
lattice	4
topos-theory	4
locales	3
asd	2
categorification	2
curry-howard-isomorphism	2
domain-theory	2
inquiry-calculus	2
mathematical-structures	2
partial-order	2
probability-theory	2
query	2
semantics	2
specification	2
stone-gamut	2
topology	2
toposes	2
types	2
unified-concept-theory	2
adjoint-functors	1
algebraicity	1
algebras	1
argumentation	1
argumentation-theory	1
atomisticity	1
atp	1
boolean-algebra	1
closure-structures	1
complete	1
computability-logic	1
conceptual-structures	1
continuations	1
corpus	1
database	1
dialogue	1
epistemology	1
experiment	1
extendability	1
extendibility	1
extensivity	1
fol	1
formal-science	1
frames	1
games	1
grothendieck-toposes	1
heyting-algebra	1
higher-dimensional-category-theory	1
hyperdoctrine	1
idealization	1
iff	1
implementation	1
incompleteness	1
inductive-inference	1
information-resource	1
information-retrieval	1
intuitionistic-logic	1
ir	1
lattice-of-properties	1
logics	1
lp	1
measurement	1
metalogical-frameworks	1
metalogics	1
metamathematical-frameworks	1
metamathematics	1
modeling	1
nonlinearity	1
omega-categories	1
oops	1
operational	1
ortholattice	1
partial-order-theory	1
partition	1
philosophy-of-science	1
posets	1
priestley-space	1
process	1
proof	1
proof-procedure	1
proof-search	1
proof-tree	1
property-lattice	1
protocol	1
question-answering	1
question-asking	1
question-lattice	1
regularities	1
relevance	1
search	1
search-space	1
searching	1
semweb	1
similarity	1
stone-space	1
syntax	1
topological-space	1
tree	1

Tag stone-duality [15 articles] Export Sort

Related Tags