Number of non‐Fregean sentential logics that have adequate models

We show that there are continuum many different non‐Fregean sentential logics that have adequate models. The proof is based on the construction of a special class of models of the power of the continuum. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

On non‐compact logics in NEXT(KTB)

In this paper we construct a continuum of logics, extensions of the modal logic T₂ = KTB ⊕ □²p → □³p, which are non‐compact (relative to Kripke frames) and hence Kripke incomplete. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

On quotients of non‐Archimedean Fréchet spaces

It is proved when a non‐Archimedean Fréchet space E of countable type has a quotient isomorphic to ??^?, c^?₀ or c₀ × ??^?. It is also shown when E has a non‐normable quotient with a continuous norm. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Existence of one non‐trivial anti‐periodic solution for second‐order impulsive differential inclusions

The existence of one non‐trivial solution for a second‐order impulsive differential inclusion is established. More precisely, a recent critical point result is exploited, in order to prove the existence of a determined open interval of positive eigenvalues for which the considered problem admits at least one non‐trivial anti‐periodic solution. Copyright © 2017 John Wiley & Sons, Ltd.     

Existence in non‐smooth domain for compressible liquid crystals

This paper is devoted to the existence of compressible liquid crystals system in non‐smooth domain. We are tempted to prove the convergence of solutions depending on that of corresponding spatial domains for liquid crystals equations of compressible flow. Copyright © 2012 John Wiley & Sons, Ltd.     

Existence of solutions for some non‐Fredholm integro‐differential equations with the bi‐Laplacian

We prove the existence of solutions for some semilinear elliptic equations in the appropriate H⁴ spaces using the fixed‐point technique where the elliptic equation contains fourth‐order differential operators with and without Fredholm property, generalizing the previous results.     

Global non‐existence of solutions of a class of wave equations with non‐linear damping and source terms

In this paper we consider the non‐linear wave equation a,b>0, associated with initial and Dirichlet boundary conditions. We prove, under suitable conditions on α,β,m,p and for negative initial energy, a global non‐existence theorem. This improves a result by Yang (Math. Meth. Appl. Sci. 2002; 25 :825–833), who requires that the initial energy be sufficiently negative and relates the global non‐existence of solutions to the size of Ω. Copyright © 2004 John Wiley & Sons, Ltd.     

There exist non‐isomorphic STS(19) with equivalent point codes

The rows of a point by block incidence matrix of a design can be used to generate a code, the point code of the design. It is known that binary point codes of non‐isomorphic Steiner triple systems of order hr STS(v), are inequivalent when v ≤ 15, but whether this also holds for higher orders has been open. In the current paper, an example of two non‐isomorphic STS(19) with equivalent point codes is presented. © 2004 Wiley Periodicals, Inc.     

Small non‐embeddable quasi‐derived designs

We establish the existence of non‐embeddable quasi‐derived 2‐designs with the parameters (13, 4, 3), (15, 6, 5), and (16, 6, 5). © 2007 Wiley Periodicals, Inc. J Combin Designs 16: 364–372, 2008     

Hamel‐isomorphic images of the unit ball

In this article we consider linear isomorphisms over the field of rational numbers between the linear spaces ?² and ?. We prove that if f is such an isomorphism, then the image by f of the unit disk is a strictly nonmeasurable subset of the real line, which has different properties than classical non‐measurable subsets of reals. We shall also consider the question whether all images of bounded measurable subsets of the plane via a such mapping are non‐measurable (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

On isomorphic factorizations of circulant graphs

We investigate the conjecture that every circulant graph X admits a k‐isofactorization for every k dividing |E(X)|. We obtain partial results with an emphasis on small values of k. © 2006 Wiley Periodicals, Inc. J Combin Designs 14: 406–414, 2006     

On cubic non‐Cayley vertex‐transitive graphs

In 1983, the second author [D. Maru?i?, Ars Combinatoria 16B (1983), 297–302] asked for which positive integers n there exists a non‐Cayley vertex‐transitive graph on n vertices. (The term non‐Cayley numbers has later been given to such integers.) Motivated by this problem, Feng [Discrete Math 248 (2002), 265–269] asked to determine the smallest valency ?(n) among valencies of non‐Cayley vertex‐transitive graphs of order n. As cycles are clearly Cayley graphs, ?(n)?3 for any non‐Cayley number n. In this paper a goal is set to determine those non‐Cayley numbers n for which ?(n) = 3, and among the latter to determine those for which the generalized Petersen graphs are the only non‐Cayley vertex‐transitive graphs of order n. It is known that for a prime p every vertex‐transitive graph of order p, p² or p³ is a Cayley graph, and that, with the exception of the Coxeter graph, every cubic non‐Cayley vertex‐transitive graph of order 2p, 4p or 2p² is a generalized Petersen graph. In this paper the next natural step is taken by proving that every cubic non‐Cayley vertex‐transitive graph of order 4p², p>7 a prime, is a generalized Petersen graph. In addition, cubic non‐Cayley vertex‐transitive graphs of order 2p^k, where p>7 is a prime and k?p, are characterized. © 2011 Wiley Periodicals, Inc. J Graph Theory 69: 77–95, 2012     

On non‐autonomous integro‐differential‐algebraic evolutionary problems

In this article, we show that a technique for showing well‐posedness results for evolutionary equations in the sense of Picard and McGhee [Picard, McGhee, Partial Differential Equations: A unified Hilbert Space Approach, DeGruyter, Berlin, 2011] established in [Picard, Trostorff, Wehowski, Waurick, On non‐autonomous evolutionary problems. J. Evol. Equ. 13:751‐776, 2013] applies to a broader class of non‐autonomous integro‐differential‐algebraic equations. Using the concept of evolutionary mappings, we prove that the respective solution operators do not depend on certain parameters describing the underlying spaces in which the well‐posedness results are established. Copyright © 2014 John Wiley & Sons, Ltd.     

New families of non‐embeddable quasi‐derived designs

The main result in this article is a method of constructing a non‐embeddable quasi‐derived design from a quasi‐derived design and an α‐resolvable design. This method is a generalization of techniques used by van Lint and Tonchev in 14 , 15 and Kageyama and Miao in 8 . As applications, we construct several new families of non‐embeddable quasi‐derived designs. © 2007 Wiley Periodicals, Inc. J Combin Designs 16: 263–275, 2008     

Constructing isospectral non‐isomorphic digraphs from hypergraphs

We explore the “oriented line graph” construction associated with a hypergraph, leading to a construction of pairs of strongly connected directed graphs whose adjacency operators have the same spectra. We give conditions on a hypergraph so that a hypergraph and its dual give rise to isospectral, but non‐isomorphic, directed graphs. The proof of isospectrality comes from an argument centered around hypergraph zeta functions as defined by Storm. To prove non‐isomorphism, we establish a Whitney‐type result by showing that the oriented line graphs are isomorphic if and only if the hypergraphs are. © 2009 Wiley Periodicals, Inc. J Graph Theory 63: 231–242, 2010     

Existence of positive solutions of fractional‐order elastic beam equation with a non‐Carathéodory nonlinearity

In this article, the existence of positive solutions of a boundary value problem for nonlinear singular fractional‐order elastic beam equation is established. Here, f depends on t,x, and x′; f may be singular at t = 0 and t = 1; and f is a non‐Carathéodory function. The results obtained are based upon fixed‐point theorems in a cone in Banach space. An example is included to illustrate the main results. Copyright © 2015 John Wiley & Sons, Ltd.     

Existence of non‐resolvable Steiner triple systems

We consider two well‐known constructions for Steiner triple systems. The first construction is recursive and uses an STS(v) to produce a non‐resolvable STS(2v + 1), for v ≡ 1 (mod 6). The other construction is the Wilson construction that we specify to give a non‐resolvable STS(v), for v ≡ 3 (mod 6), v > 9. © 2004 Wiley Periodicals, Inc. J Combin Designs 13: 16–24, 2005.     

Non‐standard finite difference schemes for multi‐dimensional second‐order systems in non‐smooth mechanics

This work is an extension of the paper (Proc. R. Soc. London 2005; 461A :1927–1950) to impact oscillators with more than one degree of freedom. Given the complex and even chaotic behaviour of these non‐smooth mechanical systems, it is essential to incorporate their qualitative physical properties, such as the impact law and the frequencies of the systems, into the envisaged numerical methods if the latter is to be reliable. Based on this strategy, we design several non‐standard finite difference schemes. Apart from their excellent error bounds and unconditional stability, the schemes are analysed for their efficiency to preserve some important physical properties of the systems including, among others, the conservation of energy between consecutive impact times, the periodicity of the motion and the boundedness of the solutions. Numerical simulations that support the theory are provided. Copyright © 2006 John Wiley & Sons, Ltd.     

A non‐linear and non‐local boundary condition for a diffusion equation in petroleum engineering

This article deals with a boundary value problem for Laplace equation with a non‐linear and non‐local boundary condition. This problem comes from petroleum engineering and is used to obtain an estimation of well productivity. The non‐linear and non‐local boundary condition is written on the well boundary. On the outer reservoir boundaries, we have both Dirichlet and Neumann conditions. In this paper, we prove the existence and uniqueness of a solution to this problem. The existence is proved by Schauder theorem and the uniqueness is obtained under more restricted conditions, when the involved operator is a contraction. Copyright © 2005 John Wiley & Sons, Ltd.