In this paper we investigate those subvarieties of the variety SH of semi-Heyting algebras which are term-equivalent to the variety LH of Gödel algebras (linear Heyting algebras). We prove that the only other subvarieties ...

A precise fomulation of the strong Equivalence Principle is essential to the understanding of the relationship between gravitation and quantum mechanics. The relevant aspects are reviewed in a context including General ...

A precise fomulation of the strong Equivalence Principle is essential to the understanding of the relationship between gravitation and quantum mechanics. The relevant aspects are reviewed in a context including General ...

Homotopy Type Theory promises a unification of the concepts of equality and equivalence in Type Theory, through the introduction of the univalence principle. However, existing proof assistants based on type theory treat ...

Skid resistance (SR) is relevant to road safety. Several researchers have showed that SR diminishes its value over time depending on the traffic-aggregated interactions, and the presence of heavy vehicles in the traffic ...

In this paper we investigate the classification of mappings up to K-equivalence. We give several results of this type. We study semialgebraic deformations up to semialgebraic C(0) K-equivalence and bi-Lipschitz K-equivalence. ...

The present research is the result of four years working as a scientific initiation fellow at SemanTec – semantics and technology – research group. Therefore, the aim of this study is to analyze and reflect upon the ...