共查询到20条相似文献,搜索用时 0 毫秒
1.
Achim Blumensath 《Mathematical Logic Quarterly》2011,57(1):65-86
Aiming for applications in monadic second‐order model theory, we study first‐order theories without definable pairing functions. Our main results concern forking‐properties of sequences of indiscernibles. These turn out to be very well‐behaved for the theories under consideration (© 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim) 相似文献
2.
将Malitz量词Q ̄(m,n)的基数限制去掉,再作多分划拓广,便得到各种monadic型的分划量词。本文引入了分划逻辑的着色卵石博奕方法,证明了相应的Ehrenfencht-Frasse定理,作为此方法的一个应用,证明了在表达能力上,monadic型的分划逻辑严格地弱于monadic二阶逻辑。 相似文献
3.
Product logic is an important t-norm based fuzzy logic with conjunction interpreted as multiplication on the real unit interval [0,1], while Cancellative hoop logic CHL is a related logic with connectives interpreted as for but on the real unit interval with 0 removed (0,1]. Here we present several analytic proof systems for and CHL, including hypersequent calculi, co-NP labelled calculi and sequent calculi. 相似文献
4.
In this paper we propose a Kripke‐style semantics for second order intuitionistic propositional logic and we provide a semantical proof of the disjunction and the explicit definability property. Moreover, we provide a tableau calculus which is sound and complete with respect to such a semantics. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim) 相似文献
5.
Azmy S. Ackleh Jeremy J. Thibodeaux 《Numerical Methods for Partial Differential Equations》2013,29(6):1821-1836
We present a second‐order finite difference scheme for approximating solutions of a mathematical model of erythropoiesis, which consists of two nonlinear partial differential equations and one nonlinear ordinary differential equation. We show that the scheme achieves second‐order accuracy for smooth solutions. We compare this scheme to a previously developed first‐order method and show that the first order method requires significantly more computational time to provide solutions with similar accuracy. We also compare this numerical scheme with other well‐known second‐order methods and show that it has better capability in approximating discontinuous solutions. Finally, we present an application to recovery after blood loss. © 2013 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2013 相似文献
6.
A back and forth condition on interpretations for those second‐order languages without functional variables whose non‐logical vocabulary is finite and excludes functional constants is presented. It is shown that this condition is necessary and sufficient for the interpretations to be equivalent in the language. When applied to second‐order languages with an infinite non‐logical vocabulary, excluding functional constants, the back and forth condition is sufficient but not necessary. It is shown that there is a class of infinitary second‐order languages whose non‐logical vocabulary is infinite for which the back and forth condition is both necessary and sufficient. It is also shown that some applications of the back and forth construction for second‐order languages can be extended to the infinitary second‐order languages. (© 2005 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim) 相似文献
7.
It is shown that the second‐order theory of a Dedekind algebra is categorical if it is finitely axiomatizable. This provides a partial answer to an old and neglected question of Fraenkel and Carnap: whether every finitely axiomatizable semantically complete second‐order theory is categorical. It follows that the second‐order theory of a Dedekind algebra is finitely axiomatizable iff the algebra is finitely characterizable. It is also shown that the second‐order theory of a Dedekind algebra is quasi‐finitely axiomatizable iff the algebra is quasi‐finitely characterizable. 相似文献
8.
In the 1920's Fraenkel and Carnap raised the question of whether or not every finitely axiomatizable semantically complete theory formulated in the theory of types is categorical. Partial answers to this and a related question are presented for theories formulated in second‐order logic. (© 2005 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim) 相似文献
9.
10.
Hideo Soga 《Mathematical Methods in the Applied Sciences》2019,42(11):3950-3966
In this paper, we propose a hyperbolic system of first‐order pseudo‐differential equations as generalization of the Maxwell equation. We state basic properties of this system corresponding to the ones of the (usual) Maxwell equation and explain that several known generalized Maxwell equations presented by some researchers can be integrated into the system. Namely, their equations can be regarded as our equation in special cases. Their generalized equations admit not only transversal but also longitudinal waves and are examined from the physical viewpoint. Using the present system, from the mathematical viewpoint, we interpret the meaning for presence of the longitudinal wave (with the transversal one) in their generalized equations. This presence means existence of more than one non‐zero characteristic root for the system (ie, non‐zero eigenvalue of the symbol). We prove also that our system becomes a first‐order expression of (generalized) elastic equations. Furthermore, it is shown that introducing the elastic equations implies expressing the generalized Maxwell equations by the potentials. 相似文献
11.
In this paper, we consider the minimum norm and robust partial quadratic eigenvalue assignment problems (PQEVAP). A complete theory on the existence of solutions for the PQEVAP is established. It is shown that solving the PQEVAP is essentially solving an eigenvalue assignment for a linear system of a much lower order, and the minimum norm and robust PQEVAPs are then concerning the minimum norm and robust eigenvalue assignment problems associated with this linear system. Based on this theory, an algorithm for solving the minimum norm and robust PQEVAPs is proposed, and its efficient behaviors are illustrated by some numerical examples. Copyright © 2010 John Wiley & Sons, Ltd. 相似文献
12.
Nadir Arada Paulo Correia Adélia Sequeira 《Numerical Methods for Partial Differential Equations》2007,23(6):1468-1500
This article is concerned with the equations governing the steady motion of a viscoelastic incompressible second‐order fluid in a bounded domain. A new proof of existence and uniqueness of strong solutions is given. In addition, using appropriate finite element methods to approximate a coupled equivalent problem, sharp error estimates are obtained using a fixed point argument. The method is applied to the two‐dimensional lid‐driven cavity problem, at low Reynolds number and in a certain range of values of the viscoelastic parameters, to analyze the combined effects of inertia and viscoelasticity on the flow. © 2007 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2007 相似文献
13.
Houcine Meftahi 《Mathematical Methods in the Applied Sciences》2017,40(7):2505-2521
In this paper, we consider the conductivity problem with piecewise‐constant conductivity and Robin‐type boundary condition on the interface of discontinuity. When the quantity of interest is the jump of the conductivity, we perform a local stability estimate for a parameterized non‐monotone family of domains. We give also a quantitative stability result of local optimal solution with respect to a perturbation of the Robin parameter. In order to find an optimal solution, we propose a Kohn–Vogelius‐type cost functional over a class of admissible domains subject to two boundary values problems. The analysis of the stability involves the computation of first‐order and second‐order shape derivative of the proposed cost functional, which is performed rigorously by means of shape‐Lagrangian formulation without using the shape sensitivity of the states variables. © 2016 The Author. Mathematical Methods in the Applied Sciences Published by John Wiley & Sons Ltd. 相似文献
14.
A transmission problem for Kirchhoff‐type wave equations with memory source term on one part of the boundary feedback is considered. By using the Faedo‐Galerkin approximation technique, the method of Lyapunov functional and the energy perturbation technique, we establish well‐posedness of global solution and derive a general decay estimate of the energy. 相似文献
15.
We study the existence of positive solutions for systems of singular nonlinear second‐order ordinary differential equations subject to multi‐point boundary conditions. Copyright © 2012 John Wiley & Sons, Ltd. 相似文献
16.
J. Rashidinia R. Mohammadi R. Jalilian 《Numerical Methods for Partial Differential Equations》2007,23(6):1411-1419
In this study, we developed the methods based on nonpolynomial cubic spline for numerical solution of second‐order nonhomogeneous hyperbolic partial differential equation. Using nonpolynomial cubic spline in space and finite difference in time directions, we obtained the implicit three level methods of O(k2 + h2) and O(k2 + h4). The proposed methods are applicable to the problems having singularity at x = 0, too. Stability analysis of the presented methods have been carried out. The presented methods are applied to the nonhomogeneous examples of different types. Numerical comparison with Mohanty's method (Mohanty, Appl Math Comput, 165 (2005), 229–236) shows the superiority of our presented schemes. © 2007 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2007 相似文献
17.
This work deals with the exponential fragment of Girard's linear logic ([3]) without the contraction rule, a logical system which has a natural relation with the direct logic ([10], [7]). A new sequent calculus for this logic is presented in order to remove the weakening rule and recover its behavior via a special treatment of the propositional constants, so that the process of cut-elimination can be performed using only “local” reductions. Hence a typed calculus, which admits only local rewriting rules, can be introduced in a natural manner. Its main properties — normalizability and confluence — has been investigated; moreover this calculus has been proved to satisfy a Curry-Howard isomorphism ([6]) with respect to the logical system in question. MSC: 03B40, 03F05. 相似文献
18.
In this paper, we consider a class of asymptotically linear second‐order Hamiltonian system with resonance at infinity. We will use Morse theory combined with the technique of penalized functionals to obtain the existence of rotating periodic solutions. 相似文献
19.
S. A. Yousefi 《Numerical Methods for Partial Differential Equations》2010,26(3):535-543
Recently, it is found that telegraph equation is more suitable than ordinary diffusion equation in modeling reaction diffusion for such branches of sciences. In this article a numerical method for solving the one‐dimensional hyperbolic telegraph equation is presented. The method is based upon Legendre multiwavelet approximations. The properties of Legendre multiwavelet are first presented. These properties together with Galerkin method are then utilized to reduce the telegraph equation to the solution of algebraic equations. Illustrative examples are included to demonstrate the validity and applicability of the technique. © 2009 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2009 相似文献
20.
We study the existence of positive solutions for systems of second‐order nonlinear ordinary differential equations, subject to multipoint boundary conditions. Copyright © 2013 John Wiley & Sons, Ltd. 相似文献