In this paper we introduce sound and strongly complete axiomatizations for XPath with data constraints extended with hybrid operators. First, we present HXPath=, a multi-modal version of XPath with data, extended with ...

The purpose of this study is to analyze the set structure of the balance sheet and assets-claims on assets relationship, considering the dual concept of monetary units, the axiomatic theory and accountingspecific axioms. ...

This paper proposes a classification of economic models into three types: historical, axiomatic and conditional. Historical or empirical models utilize the historical-deductive method, and are generalizations from the ...

The purpose of this study is to analyze the structure of the financial statements´ balance sheet and the dual aspects of accounting transactions from the viewpoint of axiomatic theory showing the relationship between assets ...

The purpose of the study is to analyze the assets-claims on assets equivalence based on the dual concept of monetary units and the axiomatic method. The methodology is analytical, rationalistic and deductive; it uses ...

El artículo presenta y analiza un conjunto de notas manuscritas de clases para cursos sobre geometría, dictados por David Hilbert entre 1891 y 1905. Se argumenta que en estos cursos el autor elabora la concepción de la ...

The causal perturbation theory is an axiomatic perturbative theory of the S-matrix. This formalism has as its essence the following axioms: causality, Lorentz invariance and asymptotic conditions. Any other property must ...

El artículo indaga la concepción axiomática temprana de la geometría de Hilbert. Especialmente, sus notas para cursos sobre geometría entre 1891 y 1905 son analizadas. Se sostendrá que, aunque Hilbert privilegió desde el ...