In this paper, a novel technique called bi-default theory is proposed for handling inconsistent knowledge simultaneously in the context of default logic without leading to triviality of the extension. To this end, the positive and negative transformations of propositional formulas are defined such that the semantic link between a literal and its negation is split. It is proven that the bi-defau...

Ernest Sosa has long defended bi-level virtue epistemology on the grounds that it offers the best overall treatment of epistemology’s central issues. A surprising number of problems “yield to” the approach (Sosa 1991: 9). Sosa applies bi-level virtue epistemology to diagnose and bypass ongoing disputes in contemporary epistemology, including the disputes between foundationalists and coherentist...

In [5], Kaye and Wong proved the following result, which they considered to belong to the folklore of mathematical logic. Theorem 1 The first-order theories of Peano arithmetic and ZF with the axiom of infinity negated are bi-interpretable: that is, they are mutually interpretable with interpretations that are inverse to each other. In this note, I describe a theory of sets that is bi-interpret...

Motivations: The Barbero–Immirzi (BI) parameter is a free constant that appears in the spectra of area and volume operators of LQG. Many authors have contributed to shed light on the origin of this ambiguity. a Here we present an extension of the idea originally proposed by Gambini, Obregon and Pullin. Idea: The BI parameter is a quantization ambiguity analogous to the θ-angle of Yang–Mills gau...

Although Business Intelligence and analytics (BI&A) is one of the most essential technologies to be purchased, the implementation of many BI&A projects fail. They do not fulfill the expectations of organizations. The reasons for this failure are not clear and still not well investigated. Resource-based View (RBV) and dynamic capability theory could help to overcome this gap and to provide an ap...

We investigate Bar-Natan’s characteristic two Khovanov link homology theory studying both the filtered and bi-graded theories. The filtered theory is computed explicitly and the bi-graded theory analysed by setting up a family of spectral sequences. The E2-pages can be described in terms of groups arising from the action of a certain endomorphism on F2-Khovanov homology. Some simple consequence...

Business intelligence (BI) can help support decision-making processes and so contribute to improved BI assimilation and organisational performance. However, a BI undertaking may be effective and profitable for some organisations but not others. How can these differing outcomes be explained for those firms that have adopted BI systems? Drawing on the literature pertaining to absorptive capacity ...

In this paper, we investigate the existence of infinitely many solutions for a bi-nonlocal equation with sign-changing weight functions. We use some natural constraints and the Ljusternik-Schnirelman critical point theory on C1-manifolds, to prove our main results.

graph theory based methods are powerful means for representing structural systems so that their geometry and topology can be understood clearly. the combination of graph theory based methods and some metaheuristics can offer effective solutions for complex engineering optimization problems. this paper presents a charged system search (css) algorithm for the free shape optimizations of thin-wall...

By combining scanning tunneling microscopy and spectroscopy, angle-resolved photoemission spectroscopy, and density functional theory band calculations, we directly observe and resolve the one-dimensional edge states of single bilayer (BL) Bi(111) islands on clean Bi(2)Te(3) and Bi(111)-covered Bi(2)Te(3) substrates. The edge states are localized in the vicinity of step edges having an ∼2  nm w...