■
http://www.google.co.jp/search?q=category%20of%20measurable%20spaces
http://www.google.co.jp/search?q=T-coalgebra
http://ja.wikipedia.org/wiki/%E5%B1%A4_%28%E6%95%B0%E5%AD%A6%29
http://en.wikipedia.org/wiki/Forcing_%28set_theory%29
http://en.wikipedia.org/wiki/Atomic_formula
http://plato.stanford.edu/entries/propositions/
http://www.google.co.jp/search?hl=ja&safe=off&q=local+deduction+theorem+in+substructural+logics&aq=f&aqi=&aql=&oq=&gs_rfai=
http://en.wikipedia.org/wiki/Quantum_logic
http://en.wikipedia.org/wiki/Hilbert_space#Quantum_mechanics