<--- Back to Details
First PageDocument Content
Abstraction / Partially ordered set / Order-embedding / Galois connection / Lattice / Order isomorphism / Duality / Graded poset / Order dimension / Order theory / Mathematics / Structure
Date: 2010-06-12 11:51:12
Abstraction
Partially ordered set
Order-embedding
Galois connection
Lattice
Order isomorphism
Duality
Graded poset
Order dimension
Order theory
Mathematics
Structure

Add to Reading List

Source URL: www.logicmatters.net

Download Document from Source Website

Share Document on Facebook

Similar Documents

JCAMECH Vol. 49, No. 1, June 2018, ppDOI: jcamechFree vibration and buckling analysis of third-order shear deformation plate theory using exact wave propagation approach

DocID: 1vqHW - View Document

Higher-order theory of mind in negotiations under incomplete information Harmen de Weerd1 , Rineke Verbrugge1 , Bart Verheij1,2 1 Institute of Artificial Intelligence, University of Groningen

DocID: 1vpMN - View Document

Higher-order interference and single-system postulates characterizing quantum theory Howard Barnum,1, 2, ∗ Markus P. M¨ uller,3, † and Cozmin Ududec4, ‡ 1 arXiv:1403.4147v4 [quant-ph] 3 Jan 2015

DocID: 1vmik - View Document

Estimating the use of higher-order theory of mind using computational agents1 Harmen de Weerd Denny Diepgrond

DocID: 1v9Mh - View Document

J. Korean Math. Soc. FORMALIZING THE META-THEORY OF FIRST-ORDER PREDICATE LOGIC Hugo Herberlin, SunYoung Kim, and Gyesik Lee Abstract. This paper introduces a representation style of variable binding using dependent typ

DocID: 1v7hr - View Document