2 search results - page 1 / 1 » Effectively inseparable Boolean algebras in lattices of sent... |
AML
2010
13 years 5 months ago
2010
We show the non-arithmeticity of 1st order theories of lattices of n sentences modulo provable equivalence in a formal theory, of diagonalizable algebras of a wider class of arithm...
ISCI
2008
13 years 4 months ago
2008
The Semantic Web is the next step of the current Web where information will become more machine-understandable to support effective data discovery and integration. Hierarchical sc...