We give a survey on truth theories for applicative theories. It comprises Frege structures, Universes for Frege structures, and a theory of supervaluation. We present the proof-theoretic results for these theories and show their syntactical expressive power. In particular, we present as a novelty a syntactical interpretation of ID1 in a applicative truth theory based on supervaluation.

This thesis is concerned with the subject of “high-level scene interpretation”, which can be roughly defined as understanding images or video streams at abstraction levels above single objects. A generic framework for knowledge-based scene interpretation is presented, realised with an interpretation system called SCENIOR (SCENe Interpretation with Ontology-based Rules). Activity models are defi...

Bilattices and d-frames are two different kinds of structures with a four-valued interpretation. Whereas d-frames were introduced with their topological semantics in mind, the theory of bilattices has a closer connection with logic. We consider a common generalisation of both structures and show that this not only still has a clear bitopological semantics, but that it also preserves most of the...

We give a geometric condition that characterizes MELL proof structures whose interpretation is a clique in non-uniform coherent spaces: visible acyclicity. We define the visible paths and we prove that the proof structures which have no visible cycles are exactly those whose interpretation is a clique. It turns out that visible acyclicity has also nice computational properties, especially it is...

0100-3984 © Colégio Brasileiro de Radiologia e Diagnóstico por Imagem curacy. However, an appropriate understanding of the meniscal anatomy and parameniscal structures, particularly the ligaments, is essential for a correct diagnosis, avoiding a number of possible errors caused by pseudo-lesions and anatomical variations. The present study reviews the anatomic variations of the menisci as well ...

At the Decatur carbon capture and storage site (IL, USA) CO2 has been injected from 2011–2014 2017 to present near base of Lower Mt. Simon Sandstone saline reservoir, resulting in microseismicity. Microseismicity is mainly located basement distributed distinct spatial clusters. The lack significant impedance contrasts within makes interpretation active-source seismic reflection data challenging...