Related papers: The interpolant existence problem for weak K4 and …
Let L be a linear difference operator with polynomial coefficients. We consider singularities of L that correspond to roots of the trailing (resp. leading) coefficient of L. We prove that one can effectively construct a left multiple with…
We show an existence of a weak solution of a degenerate and/or singular semilinear elliptic boundary value (nonhomogeneous) problem lying between a given weak subsolution and a given weak supersolution. It has been applied for an existence…
It has been argued in arXiv:1112.6432 that the planar four-point integrand in N=4 super Yang-Mills theory is uniquely determined by dual conformal invariance together with the absence of a double pole in the integrand of the logarithm in…
A modular proof-theoretic framework was recently developed to prove Craig interpolation for normal modal logics based on generalizations of sequent calculi (e.g., nested sequents, hypersequents, and labelled sequents). In this paper, we…
We consider a higher-order evolution equation with an inhomogeneous term depending on time and space. We first derive a general criterion for the nonexistence of weak solutions. Next, we study the particular case when the inhomogeneity…
All versions of this paper contain errors. Therefore, the existence of an oracle relative to which (i) there exist complete disjoint coNP-pairs and (ii) there exist no complete total polynomial search problems must be considered as an open…
A regular realizability (RR) problem is testing nonemptiness of intersection of some fixed language (filter) with given regular language. We study here complexity of RR problems. It appears that for any language L there exists RR problem…
Defeasible logic is a rule-based nonmonotonic logic, with both strict and defeasible rules, and a priority relation on rules. We show that inference in the propositional form of the logic can be performed in linear time. This contrasts…
We introduce BPDL, a combination of propositional dynamic logic PDL with the basic four-valued modal logic BK studied by Odintsov and Wansing (`Modal logics with Belnapian truth values', J. Appl. Non-Class. Log. 20, 279--301 (2010)). We…
For an arbitrary undirected simple graph G with m edges, we give an algorithm with running time O(m^4 |L|^2) to generate the set L of all minimal edge dominating sets of G. For bipartite graphs we obtain a better result; we show that their…
The present article investigates the existence, multiplicity and regularity of weak solutions of problems involving a combination of critical Hartree type nonlinearity along with singular and discontinuous nonlinearity. By applying…
We analyze the complexity of decision problems for Boolean Nonassociative Lambek Calculus admitting empty antecedent of sequents ($\mathsf{BFNL^*}$), and the consequence relation of Distributive Full Nonassociative Lambek Calculus…
In this chapter we give a basic overview of known results regarding Craig interpolation for first-order logic as well as for fragments of first-order logic. Our aim is to provide an entry point into the literature on interpolation theorems…
By using a selective filtration argument, we prove that the satisfiability problem of the unimodal logic of density is in $EXPTIME$. By using a tableau-like approach, we prove that the satisfiability problem of the bimodal logic of weak…
The non-classical, nonmonotonic inference relation associated with the answer set semantics for logic programs gives rise to a relationship of 'strong equivalence' between logical programs that can be verified in 3-valued Goedel logic, G3,…
In this paper we study existence and spectral properties for weak solutions of Neumann and Dirichlet problems associated to second order linear degenerate elliptic partial differential operators $X$, with rough coefficients of the form…
Existence and non-existence results are established for quasilinear elliptic problems with nonlinear boundary conditions and lack of compactness. The proofs combine variational methods with the geometrical feature, due to the competition…
This article is devoted to questions concerning the existence of solutions for partial differential equation problems modeling granular flows. The models studied take into account the complex threshold rheology of these flows, as well as…
Conditions for the existence and uniqueness of weak solutions for a class of nonlinear nonlocal degenerate parabolic equations are established. The asymptotic behaviour of the solutions as time tends to infinity are also studied. In…
We show that linear analytic cocycles where all Lyapunov exponents are negative infinite are nilpotent. For such one-frequency cocycles we show that they can be analytically conjugated to an upper triangular cocycle or a Jordan normal form.…