<--- Back to Details
First PageDocument Content
Algebra / Abstract algebra / Mathematics / Commutative algebra / Lie algebras / Lattice theory / Clone / Universal algebra / F-algebra / Algebra over a field / Heyting algebra / C*-algebra
Date: 2011-08-02 10:07:44
Algebra
Abstract algebra
Mathematics
Commutative algebra
Lie algebras
Lattice theory
Clone
Universal algebra
F-algebra
Algebra over a field
Heyting algebra
C*-algebra

Add to Reading List

Source URL: www.fields.utoronto.ca

Download Document from Source Website

File Size: 161,87 KB

Share Document on Facebook

Similar Documents

Algebra / Abstract algebra / Mathematics / Commutative algebra / Lie algebras / Lattice theory / Clone / Universal algebra / F-algebra / Algebra over a field / Heyting algebra / C*-algebra

PDF Document

DocID: 1qVCp - View Document

Optical flow / Image segmentation / Complete Heyting algebra / Mass / Mathematics / Structure / Abstraction

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

DocID: 1q2ZF - View Document

Algebraic structures / Mathematical logic / Algebraic logic / Lattice theory / Order theory / Galois connection / Field / Heyting algebra / Relation algebra / variste Galois / Residuated lattice / Group

Munich, Germany August 21, 2009 PLMMS’09 Proceedings of the ACM SIGSAM 2009 International Workshop on Programming

DocID: 1pBQG - View Document

Modal logic / Non-classical logic / Model theory / Boolean algebra / Philosophical logic / Kripke semantics / Interior algebra / Heyting algebra / Embedding / Intermediate logic / Normal modal logic / Substitution

STABLE CANONICAL RULES GURAM BEZHANISHVILI, NICK BEZHANISHVILI, ROSALIE IEMHOFF Abstract. We introduce stable canonical rules and prove that each normal modal rule system is axiomatizable by stable canonical rules. This

DocID: 1oDdl - View Document

Mathematics / Algebra / Abstract algebra / Algebraic logic / Lattice theory / Mathematical logic / Order theory / Algebraic structures / Heyting algebra / Residuated lattice / Boolean algebra / DedekindMacNeille completion

Dedekind-MacNeille completions of residuated lattices Joint work with A. Ciabattoni and K. Terui Nikolaos Galatos University of Denver June 6, 2009

DocID: 1ohG8 - View Document