Complete Heyting algebra - PDFSEARCH.IO - Document Search Engine

Complete Heyting algebra
Results: 33

#	Item
1	IEEE TRANSACTIONS ON IMAGE PROCESSING, VOL. 24, NO. 12, DECEMBERPersonal Object Discovery in First-Person Videos Cewu Lu, Member, IEEE, Renjie Liao, and Jiaya Jia, Senior Member, IEEE Add to Reading List Source URL: www.cse.cuhk.edu.hk Language: English - Date: 2016-01-08 01:16:03 Optical flow Image segmentation Complete Heyting algebra Mass Mathematics Structure Abstraction
2	Open problems in Boolean algebras over partially ordered sets Mohamed Bekkali University sidi mohamed ben abdullah (USMBA) Fez, Morocco Add to Reading List Source URL: spot.colorado.edu Language: English - Date: 2010-06-05 10:07:22 Algebra Mathematics Abstract algebra Boolean algebra Algebraic logic Algebraic structures Lattice theory Algebra over a field Heyting algebra Complete Boolean algebra
3	Coproducts and colimits of κ-quantales R. N. Ball and A. Pultr BLAST 6 June 2010 Add to Reading List Source URL: spot.colorado.edu Language: English - Date: 2010-06-10 00:47:20 Algebraic structures Category theory Order theory Semigroup theory Limit Coproduct Cardinal number Product Complete Heyting algebra Quotient group Equivalence class Monoid
4	Exponentiable functors between quantaloid-enriched categories Maria Manuel Clementino∗, Dirk Hofmann† and Isar Stubbe‡ July 3, 2007§ Abstract. Exponentiable functors between quantaloid-enriched categories are Add to Reading List Source URL: www-lmpa.univ-littoral.fr Language: English - Date: 2009-12-14 11:58:39 Adjoint functors Functor Universal property Limit Sheaf Equivalence of categories Initial and terminal objects Monad Complete Heyting algebra Abstract algebra Category theory Mathematics
5	The categorical equivalence between complete (semi)lattices with operators and contexts with relations Peter Jipsen Add to Reading List Source URL: math.chapman.edu Language: English - Date: 2012-06-15 00:09:09 Boolean algebra Algebraic logic Algebraic structures Lattice theory Heyting algebra Kripke semantics Residuated lattice Distributive lattice Relation algebra Logic Mathematical logic Mathematics
6	Sergejs Solovjovs Masaryk University Localification procedure for affine systems In 1989, S. Vickers introduced the notion of topological system as a common framework for both topological spaces and the underlying algebr Add to Reading List Source URL: web.science.mq.edu.au Language: English - Date: 2013-06-21 05:36:38 Category theory Structure Order theory Space Reflective subcategory Equivalence of categories Category of topological spaces Duality Complete Heyting algebra Mathematics Adjoint functors Abstract algebra
7	PDDL+ Planning with Hybrid Automata: Foundations of Translating Must Behavior Sergiy Bogomolov Daniele Magazzeni Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2015-04-07 08:31:54 Hybrid automaton Continuous function Complete Heyting algebra Abstraction Automata theory Mathematics Mathematical analysis
8	Logic and Lattices for Distributed Programming Neil Conway William Marczak Peter Alvaro Joseph M. Hellerstein Add to Reading List Source URL: db.cs.berkeley.edu Language: English - Date: 2012-06-22 16:27:05 Lattice theory Algebra Order theory Lattice Semilattice Class Boolean algebra Monotonic function Complete Heyting algebra Abstract algebra Mathematics Algebraic structures
9	Microsoft Word - WG_FRM_1st meeting_draft_minutes.docx Add to Reading List Source URL: www.euforgen.org Language: English - Date: 2014-05-12 12:21:19 Archival science Art history Data collection Provenance Forest genetic resources Knowledge Biodiversity Complete Heyting algebra Ecology Biology Forestry Science
10	Tutorial to Locales and Locale Interpretation∗ Clemens Ballarin Abstract Locales are Isabelle’s approach for dealing with parametric theories. They have been designed as a module system for a theorem prover Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-08-27 06:04:04 Structure Lattice theory Algebraic structures Distributive lattice Complete Heyting algebra Duality Join and meet Lattice Partially ordered set Order theory Mathematics Abstract algebra