Buscar
Mostrando ítems 1-10 de 521
Axiomatizing hybrid xpath with data
(Technische Universität Braunschweig, 2021-07)
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 ...
Uniqueness Of Axiomatic Extensions Of Cut-free Classical Propositional Logic
(Oxford Univ PressOxford, 2016)
The Balance Sheet and the Assets-Claims on Assets Relationship in the Axiomatic Method
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. ...
Axiomatizing core extensions on NTU games
(Springer Heidelberg, 2016-08)
We study solution concepts for NTU games, where the cooperation (or negotiation) of the players can be obtained by means of non-trivial families of coalitions (e.g. balanced families). We give an axiomatization of the ...
The Dual Aspects of Accounting Transaction and the Assets-Claims on Assets Equality in Axiomatic Theory
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 ...
Historical models and economic syllogisms
(Routledge, 2018)
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 ...